diff --git a/collects/mred/private/mrmenu.ss b/collects/mred/private/mrmenu.ss
index 0566935e..27a765f7 100644
--- a/collects/mred/private/mrmenu.ss
+++ b/collects/mred/private/mrmenu.ss
@@ -206,7 +206,7 @@
 						  [(unix) (format "~a~a" 
 								  (case x-prefix
 								    [(meta) ":m:"]
-								    [(alt) ":a:"]
+								    [(alt) ":m:"]
 								    [(ctl-m) ":c:m;:"]
 								    [(ctl) ":c:"])
 								  (char-name (char-downcase shortcut) #f))]