Second modification

In Xcode to check if github figured out the file had changed.
Obviously, it did…