fix possible compiler error with newer versions of Xcode