Very minor changes for Xcode 5.0.