Fix keyboard shortcut (fixes #10)