diff --git a/collects/mred/private/check.rkt b/collects/mred/private/check.rkt
index bb5054357e..365d373c18 100644
--- a/collects/mred/private/check.rkt
+++ b/collects/mred/private/check.rkt
@@ -6,15 +6,17 @@
   (provide (protect (all-defined)))
 
   (define (key-code-symbol? x)
-    (and (member x '(start cancel clear shift control menu pause
-                           capital prior next end home left up right down
-                           escape select print execute snapshot insert help 
-                           numpad0 numpad1 numpad2 numpad3 numpad4 numpad5
-                           numpad6 numpad7 numpad8 numpad9 numpad-enter 
-                           multiply add separator subtract decimal divide 
-                           f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14
-                           f15 f16 f17 f18 f19 f20 f21 f22 f23 f24 
-                           numlock scroll wheel-up wheel-down release press))
+    (and (member x '(start cancel clear shift rshift control rcontrol
+                           menu pause capital prior next end home left 
+                           up right down escape select print execute
+                           snapshot insert help numpad0 numpad1 numpad2
+                           numpad3 numpad4 numpad5 numpad6 numpad7
+                           numpad8 numpad9 numpad-enter multiply add
+                           separator subtract decimal divide f1 f2 f3
+                           f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15
+                           f16 f17 f18 f19 f20 f21 f22 f23 f24 numlock
+                           scroll wheel-up wheel-down wheel-left
+                           wheel-right release press))
          #t))
   
   (define (who->name who)