Fix for Xcode bug