Minor correction to Xcode menu item names