diff --git a/collects/typed-racket/types/abbrev.rkt b/collects/typed-racket/types/abbrev.rkt
index c94f32fd..a9f1d7a0 100644
--- a/collects/typed-racket/types/abbrev.rkt
+++ b/collects/typed-racket/types/abbrev.rkt
@@ -232,7 +232,7 @@
 (define -Thread-Group
   (make-Base 'Thread-Group #'thread-group? thread-group? #'-Thread-Group))
 (define -Struct-Type-Property
-  (make-Base 'Struct-Type-Property #'struct-type-property? struct-type-property? #'Struct-Type-Property))
+  (make-Base 'Struct-Type-Property #'struct-type-property? struct-type-property? #'-Struct-Type-Property))
 (define -Impersonator-Property
   (make-Base 'Impersonator-Property #'impersonator-property? impersonator-property? #'-Impersonator-Property))