Minor change for Xcode 5