Make Xcode 5.1 happy