diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt
index 4fe82b6e..b77a3d35 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/env/global-env.rkt
@@ -74,7 +74,7 @@
   (free-id-table-remove! the-mapping id))
 
 (define (finish-register-type id [top-level? #f])
-  (unless (or top-level? (maybe-finish-register-type id))
+  (unless (or (maybe-finish-register-type id) top-level?)
     (tc-error/expr #:stx id "Duplicate definition for ~a" (syntax-e id)))
   (void))