Fix the keyboard shortcut reported by Serge...