Fix the name of the Ctrl key