Fixing OS X hotkey hints