diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl
index d8228099..70161835 100644
--- a/collects/typed-scheme/typed-scheme.scrbl
+++ b/collects/typed-scheme/typed-scheme.scrbl
@@ -523,6 +523,10 @@ types.  In most cases, use of @scheme[:] is preferred to use of @scheme[define:]
 (define-struct: (name parent) ([f : t] ...))
 (define-struct: (v ...) name ([f : t] ...))
 (define-struct: (v ...) (name parent) ([f : t] ...))]]
+{Defines a @rtech{structure} with the name @scheme[name], where the fields 
+         @scheme[f] have types @scheme[t].  The second and fourth forms define @scheme[name]
+         to be a substructure of @scheme[parent].  The last two forms define structures that 
+         are polymorphic in the type variables @scheme[v].}
 
 @subsection{Type Aliases}
 @defform*[[(define-type-alias name t)