diff --git a/pkgs/racket-doc/syntax/scribblings/parse/lib.scrbl b/pkgs/racket-doc/syntax/scribblings/parse/lib.scrbl
index 3e1da952fc..fff7b2d65c 100644
--- a/pkgs/racket-doc/syntax/scribblings/parse/lib.scrbl
+++ b/pkgs/racket-doc/syntax/scribblings/parse/lib.scrbl
@@ -32,7 +32,7 @@
       #'(defproc #:kind "syntax class" datum @#,tech{syntax class} . pre-flows)])
    (define-syntax-parser defattribute
      [(_ name:id . pre-flows)
-      #'(subdefthing #:kind "attribute" #:link-target? #f name
+      #'(defsubthing #:kind "attribute" #:link-target? #f name
         . pre-flows)]))
 
 @defstxclass[expr]{
diff --git a/pkgs/racket-doc/syntax/scribblings/parse/parse-common.rkt b/pkgs/racket-doc/syntax/scribblings/parse/parse-common.rkt
index 8beedf3a73..ca8644a501 100644
--- a/pkgs/racket-doc/syntax/scribblings/parse/parse-common.rkt
+++ b/pkgs/racket-doc/syntax/scribblings/parse/parse-common.rkt
@@ -104,13 +104,13 @@
               (racket id)
               #|(superscript (symbol->string 'suffix)) ...|# )]))
 
-(define-syntax-rule (subdefthing . xs)
+(define-syntax-rule (defsubthing . xs)
   (nested #:style "leftindent" (defthing . xs)))
 
 (provide defhere
          ref
          def
-         subdefthing)
+         defsubthing)
 
 ;; ----
 
diff --git a/pkgs/racket-doc/syntax/scribblings/parse/stxclasses.scrbl b/pkgs/racket-doc/syntax/scribblings/parse/stxclasses.scrbl
index 2a0f8f3a8a..c45d5b2615 100644
--- a/pkgs/racket-doc/syntax/scribblings/parse/stxclasses.scrbl
+++ b/pkgs/racket-doc/syntax/scribblings/parse/stxclasses.scrbl
@@ -145,6 +145,10 @@ variant patterns and their immediate @racket[#:with] clauses. Patterns
 occurring within subexpressions of the syntax class (for example, on
 the right-hand side of a @racket[#:fail-when] clause) are not
 affected.
+}
+
+@specsubform[(code:line #:local-conventions (convention-rule ...))]
+@specsubform[(code:line #:disable-colon-notation)]{
 
 These options have the same meaning as in @racket[syntax-parse].
 }
@@ -236,16 +240,17 @@ specifying side conditions. The grammar for pattern directives
 follows:
 
 @racketgrammar[pattern-directive
-               (code:line #:declare pattern-id stxclass maybe-role)
+               (code:line #:declare pvar-id stxclass maybe-role)
                (code:line #:post action-pattern)
                (code:line #:and action-pattern)
-               (code:line #:with syntax-pattern expr)
+               (code:line #:with syntax-pattern stx-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)
                (code:line #:do [def-or-expr ...])
-               (code:line #:undo [def-or-expr ...])]
+               (code:line #:undo [def-or-expr ...])
+               (code:line #:cut)]
 
 @sub-kw-form[[#:declare pvar-id stxclass maybe-role]
              #:grammar