True. Xcode's little Fix-it fixed the wrong thing. Doesn't really matter here... but still.