diff --git a/src/blocks.js b/src/blocks.js
index 76524504..fed1d17e 100644
--- a/src/blocks.js
+++ b/src/blocks.js
@@ -8745,7 +8745,10 @@ InputSlotMorph.prototype.menuFromDict = function (
                     (typeof choices[key] !== 'function')) {
                 menu.addMenu(
                     key,
-                    this.menuFromDict(choices[key],true));
+                    this.menuFromDict(choices[key],true),
+                    null,  // indicator
+                    true   // verbatim?
+                );
             } else {
                 menu.addItem(
                     key,
diff --git a/src/morphic.js b/src/morphic.js
index 72f1f4af..1f1bef94 100644
--- a/src/morphic.js
+++ b/src/morphic.js
@@ -8217,12 +8217,12 @@ MenuMorph.prototype.addItem = function (
         verbatim]);
 };
 
-MenuMorph.prototype.addMenu = function (label, aMenu, indicator) {
-    this.addPair(label, aMenu, isNil(indicator) ? '\u25ba' : indicator);
+MenuMorph.prototype.addMenu = function (label, aMenu, indicator, verbatim) {
+    this.addPair(label, aMenu, isNil(indicator) ? '\u25ba' : indicator, null, verbatim);
 };
 
-MenuMorph.prototype.addPair = function (label, action, shortcut, hint) {
-    this.addItem(label, action, hint, null, null, null, null, shortcut);
+MenuMorph.prototype.addPair = function (label, action, shortcut, hint, verbatim) {
+    this.addItem(label, action, hint, null, null, null, null, shortcut, verbatim);
 };
 
 MenuMorph.prototype.addLine = function (width) {