Fix hotkeys #30; thanks @RobertEcker