diff --git a/collects/scribblings/gui/editor-intf.scrbl b/collects/scribblings/gui/editor-intf.scrbl
index eb14fc38ac..a15fa7a570 100644
--- a/collects/scribblings/gui/editor-intf.scrbl
+++ b/collects/scribblings/gui/editor-intf.scrbl
@@ -905,7 +905,7 @@ See also @method[editor<%> local-to-global].
 
 }
 
-@defmethod[#:mode 'public-final (in-edit-sequence?)
+@defmethod[#:mode public-final (in-edit-sequence?)
            boolean?]{
 
 Returns @scheme[#t] if updating on this editor is currently delayed