diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt
index 660c7113..3da82994 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt
@@ -472,7 +472,8 @@
                    [x (Option Integer)]
                    [y (Option Integer)]))))
 
-(define-type Frame:Register-Group<%> Frame:Basic<%>)
+(define-type Frame:Register-Group<%>
+  (Class #:implements Frame:Basic<%>))
 
 (define-type Frame:Register-Group-Mixin
   (All (r #:row)