fix typo in cmd building hotkeys widget, Closes bug #437