diff --git a/collects/mred/mred-sig.ss b/collects/mred/mred-sig.ss
index f26ebe2c..2072cdcd 100644
--- a/collects/mred/mred-sig.ss
+++ b/collects/mred/mred-sig.ss
@@ -118,6 +118,7 @@
      list-control<%>
      make-eventspace
      make-namespace-with-mred
+     map-command-as-meta-key
      menu%
      menu-bar%
      menu-control-font
diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss
index 28b1fa12..8701aa7f 100644
--- a/collects/mred/mred.ss
+++ b/collects/mred/mred.ss
@@ -150,6 +150,7 @@
 	     snip-class-list<%>
 	     special-control-key
 	     special-option-key
+             map-command-as-meta-key
 	     label->plain-label
 	     string-snip%
 	     style<%>
diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index 5225ea4e..23a2e19d 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -1536,6 +1536,7 @@
   (define-functions
     special-control-key
     special-option-key
+    map-command-as-meta-key
     application-file-handler
     application-quit-handler
     application-about-handler