diff --git a/js/keyboard_input_manager.js b/js/keyboard_input_manager.js
index 613360b8ba5318cf036b75bf029b5700ca93d561..7ec68e877d39fc9df50d20e64121bf78aa1ee2fd 100644
--- a/js/keyboard_input_manager.js
+++ b/js/keyboard_input_manager.js
@@ -35,10 +35,11 @@ KeyboardInputManager.prototype.listen = function () {
   };
 
   document.addEventListener("keydown", function (event) {
-    var modifiers = event.altKey && event.ctrlKey && event.metaKey &&
+    var modifiers = event.altKey || event.ctrlKey || event.metaKey ||
                     event.shiftKey;
     var mapped    = map[event.which];
 
+    console.log(event);
     if (!modifiers) {
       if (mapped !== undefined) {
         event.preventDefault();