Minor fix to hotkey