minor keyboard shortcut change