Nope, get your history right, he left after Windows 8 and how it was badly received.

However since Windows 8 follows Windows 7, it was indeed after Windows 7, that much is right.