Minor tweak for compatibility with older Xcode versions