Fix an error with Xcode 4.6.2