diff --git a/collects/syntax/scribblings/parse/patterns.scrbl b/collects/syntax/scribblings/parse/patterns.scrbl
index e3029b280f..e336306f8c 100644
--- a/collects/syntax/scribblings/parse/patterns.scrbl
+++ b/collects/syntax/scribblings/parse/patterns.scrbl
@@ -87,7 +87,7 @@ means specifically @tech{@Spattern}.
                  H-pattern]
                 [A-pattern
                  ~!
-                 (~bind [attr-id expr] ...)
+                 (~bind [attr-arity-decl expr] ...)
                  (~fail maybe-fail-condition maybe-message-expr)
                  (~parse S-pattern stx-expr)
                  (@#,ref[~and a] A-pattern ...+)]
@@ -914,7 +914,10 @@ within a @scheme[~not] pattern unless there is an intervening
 @scheme[~delimit-cut] or @scheme[~commit] pattern.
 }
 
-@specsubform[(@#,defhere[~bind] [attr-id expr] ...)]{
+@specsubform/subs[(@#,defhere[~bind] [attr-arity-decl expr] ...)
+                  ([attr-arity-decl
+                    attr-name-id
+                    (attr-name-id depth)])]{
 
 Evaluates the @scheme[expr]s and binds them to the given
 @scheme[attr-id]s as attributes.
diff --git a/collects/syntax/scribblings/parse/stxclasses.scrbl b/collects/syntax/scribblings/parse/stxclasses.scrbl
index a34008d138..e86db11a47 100644
--- a/collects/syntax/scribblings/parse/stxclasses.scrbl
+++ b/collects/syntax/scribblings/parse/stxclasses.scrbl
@@ -171,7 +171,7 @@ follows:
                (code:line #:declare pattern-id syntax-class-id)
                (code:line #:declare pattern-id (syntax-class-id arg ...))
                (code:line #:with syntax-pattern expr)
-               (code:line #:attr attr-id expr)
+               (code:line #:attr attr-arity-decl expr)
                (code:line #:fail-when condition-expr message-expr)
                (code:line #:fail-unless condition-expr message-expr)
                (code:line #:when condition-expr)
@@ -202,11 +202,11 @@ match a pattern in several ways, backtracking may cause the same
 clause to be tried multiple times before the next clause is reached.
 }
 
-@specsubform[(code:line #:attr attr-id expr)]{
+@specsubform[(code:line #:attr attr-arity-decl expr)]{
 
 Evaluates the @scheme[expr] in the context of all previous attribute
-bindings and binds it to the attribute named by @scheme[attr-id]. The
-value of @scheme[expr] need not be syntax.
+bindings and binds it to the given attribute. The value of
+@scheme[expr] need not be syntax.
 }
 
 @specsubform[(code:line #:fail-when condition-expr message-expr)