diff --git a/collects/mred/private/mrmenu.ss b/collects/mred/private/mrmenu.ss
index 09ac34f4..e04f6250 100644
--- a/collects/mred/private/mrmenu.ss
+++ b/collects/mred/private/mrmenu.ss
@@ -305,7 +305,11 @@
 						   ;; keymap function callback already in exit mode:
 						   (lambda (edit event)
 						     (if (is-enabled?)
-							 (callback this (make-object wx:control-event% 'menu))
+                                                         (begin
+                                                           (when (this . is-a? . checkable-menu-item%)
+                                                             (begin
+                                                               (send this check (not (send this is-checked?)))))
+                                                           (callback this (make-object wx:control-event% 'menu)))
 							 (wx:bell))))
 					     (send keymap map-function key-binding "menu-item")
 					     keymap))])