That screenshot is pretty old, from Xcode 3, back when I first switched to TNR. I have no eye for kerning, so it didn't bother me then, but it looks a bit better in Xcode 5: http://i.imgur.com/rRxUpDY.png (included quoted text "CHARACTER SPAWNING" so it can be a/b compared).