updated comment on HotkeySet