Just reboot the terminal and let the terminal load its keys again.

Posted in: FAQ: Terminals