diff --git a/collects/scribblings/scribble/manual.scrbl b/collects/scribblings/scribble/manual.scrbl
index 027536db..750530ce 100644
--- a/collects/scribblings/scribble/manual.scrbl
+++ b/collects/scribblings/scribble/manual.scrbl
@@ -852,7 +852,8 @@ non-terminals shown with the @racket[_id] form. Each
 @racket[clause-datum] is preserved.}
 
 
-@defform[(defform*/subs maybe-kind maybe-id maybe-literals [form-datum ...]
+@defform[(defform*/subs maybe-kind maybe-id maybe-literals [form-datum ...+]
+           ([nonterm-id clause-datum ...+] ...)
            maybe-contracts
            pre-flow ...)]{