Fixed a minor issue with the File menu on OS X.