diff --git a/collects/stepper/private/annotate.rkt b/collects/stepper/private/annotate.rkt
index 9faadd9994..e4843ec1fd 100644
--- a/collects/stepper/private/annotate.rkt
+++ b/collects/stepper/private/annotate.rkt
@@ -1189,6 +1189,10 @@
                         (#%plain-lambda () . rest2)
                         (#%plain-lambda () . rest3)))
          exp]
+        ; STC: for lazy
+        [(#%plain-app . terms) (annotate/module-top-level exp)]
+        ; STC: for lazy, handle defines
+        [(define-values (ids ...) bodies) (annotate/module-top-level exp)]
         [else
          (error `annotate/top-level "unexpected top-level expression: ~a\n"
                 (syntax->datum exp))