Making hotkeys less intrusive
Fixing a syntax error in hotkeys