diff --git a/typed-racket-lib/typed-racket/typecheck/tc-structs.rkt b/typed-racket-lib/typed-racket/typecheck/tc-structs.rkt
index c33256e2..7bf38b2d 100644
--- a/typed-racket-lib/typed-racket/typecheck/tc-structs.rkt
+++ b/typed-racket-lib/typed-racket/typecheck/tc-structs.rkt
@@ -26,7 +26,7 @@
   (pattern name:id #:attr par #f))
 
 ;; sty : (U Struct? Prefab?)
-;; names : Listof[Identifier]
+;; names : struct-names
 ;; desc : struct-desc
 ;; struct-info : struct-info?
 ;; type-only : Boolean