fix a funny Xcode indentation problem