Fix hotkey events

Looks like we overlooked something, ... again (minor fix).