Verlander NOT an All Star?

Justin Verlander is having his best year so far.  His June is! amazing and he seems to be getting better.  Yesterday he 4 hit the Rockies, and gave up only 1 run in a complete game.  His 9th win of the year.  Still he may not be at the All Star Game.  How is this possible?  The Detroit Free Press is reporting that Jim Leyland will not change the rotation so Verlander can be in the All Star Game.  Verlander will pitch the day before the mid summer classic and by new MLB pitching rules, a pitcher can't pitch the day before.  He may get the recognition, but it's all about the winning the division and beating the Cleveland Indians for the Tigers, and I applaud that.  Damn refreshing boys