Fixing a compilation error that popped up when Xcode 5.1 was installed this morning