Small update for Xcode 4.6.1