Remember when Verlander had a no-hitter?