diff --git a/collects/gui-debugger/annotator.ss b/collects/gui-debugger/annotator.ss
index 44c077abcd..3ea9702793 100644
--- a/collects/gui-debugger/annotator.ss
+++ b/collects/gui-debugger/annotator.ss
@@ -162,10 +162,10 @@
       (define (top-level-annotate stx)
         (kernel:kernel-syntax-case/phase
          stx (namespace-base-phase)
-         [(module identifier name (#%plain-module-begin . module-level-exprs))
+         [(module identifier name (plain-module-begin . module-level-exprs))
           (with-syntax ([(module . _) stx])
             (quasisyntax/loc stx (module identifier name
-                                   (#%plain-module-begin 
+                                   (plain-module-begin 
                                     #,@(map (lambda (e) (module-level-expr-iterator
                                                          e (list (syntax-e #'identifier)
                                                                  (syntax-source #'identifier))))