diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 3da407c3..71839841 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -2093,7 +2093,8 @@
 [make-struct-type-property
  (->opt Sym
        [(Un (one-of/c #f 'can-impersonate) (-> Univ (-lst Univ)))
-        (-lst (-pair -Struct-Type-Property (-> Univ Univ)))]
+        (-lst (-pair -Struct-Type-Property (-> Univ Univ)))
+        Univ]
        (-values (list -Struct-Type-Property (-> Univ B) (-> Univ Univ))))]
 
 [struct-type-property? (make-pred-ty -Struct-Type-Property)]