small fix for xcode