diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
index 9e193a87..5c70cdef 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
@@ -285,7 +285,7 @@
                                   self-type))
      (with-lexical-env/extend lexical-names/top-level lexical-types/top-level
        (check-super-new provided-super-inits super-inits))
-     (with-lexical-env/extend lexical-names lexical-types
+     (with-lexical-env/extend lexical-names/top-level lexical-types/top-level
        (for ([stx top-level-exprs]
              #:unless (syntax-property stx 'tr:class:super-new))
          (tc-expr stx)))