Some sort of Xcode 4.6-imposed change.