diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
index 5b9fe1fd..b3da4724 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
@@ -503,7 +503,7 @@
 
 ;; Supertype of all Class types, cannot instantiate
 ;; or subclass these
-(def-type ClassTop () [#:fold-rhs #:base])
+(def-type ClassTop () [#:fold-rhs #:base] [#:key 'class])
 
 ;; row-ext : Option<(U F B Row)>
 ;; row     : Row