diff --git a/collects/stepper/private/annotate.rkt b/collects/stepper/private/annotate.rkt
index 239c1a0e92..d5ac6023ab 100644
--- a/collects/stepper/private/annotate.rkt
+++ b/collects/stepper/private/annotate.rkt
@@ -1043,7 +1043,8 @@
            (skipto/auto exp 'rebuild annotate/module-top-level)] 
           [else 
            (syntax-case exp (#%app #%plain-app call-with-values define-values define-syntaxes 
-                                   #%require #%provide begin #%plain-lambda lambda)
+                                   #%require #%provide begin #%plain-lambda lambda
+                                   module module*)
              [(define-values (new-var ...) e)
               (let* ([name-list (syntax->list #`(new-var ...))]
                      [defined-name (if (and (pair? name-list) (null? (cdr name-list)))
@@ -1073,6 +1074,10 @@
               exp]
              [(#%provide specs ...)
               exp]
+             [(module . _) ; submodule
+              exp]
+             [(module* . _) ; submodule
+              exp]
              [(begin .  bodies)
               #`(begin #,@(map annotate/module-top-level (syntax->list #`bodies)))]
              ; STC: for lazy racket, need this case to catch and hide toplevel-forcer