fixup! Ticket #2988: When an unknown key is pressed, it is interpreted as garbage.