Fix gnome-do hotkey.