Small bug related to Xcode 5.1