Fix a warning found by the new version of xcode