Fix minor html typo in hotkeys