diff --git a/js/ui/main.js b/js/ui/main.js
index c90df0636..a71acba8c 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -586,7 +586,8 @@ function _globalKeyPressHandler(actor, event) {
 
     let symbol = event.get_key_symbol();
     let keyCode = event.get_key_code();
-    let modifierState = event.get_state();
+    let ignoredModifiers = global.display.get_ignored_modifier_mask();
+    let modifierState = event.get_state() & ~ignoredModifiers;
 
     // This relies on the fact that Clutter.ModifierType is the same as Gdk.ModifierType
     let action = global.display.get_keybinding_action(keyCode, modifierState);