Fix inexplicable syntax error in plugins/hotkeys.cpp.