diff --git a/pkgs/racket-doc/scribblings/reference/syntax.scrbl b/pkgs/racket-doc/scribblings/reference/syntax.scrbl
index fde18939ba..513c37ff56 100644
--- a/pkgs/racket-doc/scribblings/reference/syntax.scrbl
+++ b/pkgs/racket-doc/scribblings/reference/syntax.scrbl
@@ -1235,10 +1235,10 @@ quoted @racket[raw-module-spec].}
 
 @defform/subs[(#%provide raw-provide-spec ...)
               ([raw-provide-spec phaseless-spec
-                                 (#,(racketidfont "for-meta") phase-level phaseless-spec)
-                                 (#,(racketidfont "for-syntax") phaseless-spec)
-                                 (#,(racketidfont "for-label") phaseless-spec)
-                                 (#,(racketidfont "protect") raw-provide-spec)]
+                                 (#,(racketidfont "for-meta") phase-level phaseless-spec ...)
+                                 (#,(racketidfont "for-syntax") phaseless-spec ...)
+                                 (#,(racketidfont "for-label") phaseless-spec ...)
+                                 (#,(racketidfont "protect") raw-provide-spec ...)]
                [phase-level exact-integer
                             #f]
                [phaseless-spec id