diff --git a/collects/syntax/kerncase.rkt b/collects/syntax/kerncase.rkt
index f03b3b1b8c..a561fd9ba4 100644
--- a/collects/syntax/kerncase.rkt
+++ b/collects/syntax/kerncase.rkt
@@ -17,7 +17,7 @@
                                            (quote 
                                             quote-syntax #%top
                                             #%plain-lambda case-lambda
-                                            let-values letrec-values
+                                            let-values letrec-values letrec-syntaxes+values
                                             begin begin0 set!
                                             with-continuation-mark
                                             if #%plain-app #%expression
diff --git a/collects/syntax/scribblings/kerncase.scrbl b/collects/syntax/scribblings/kerncase.scrbl
index 814382325c..d2ce8b1d82 100644
--- a/collects/syntax/scribblings/kerncase.scrbl
+++ b/collects/syntax/scribblings/kerncase.scrbl
@@ -17,7 +17,8 @@
 
 A syntactic form like @racket[syntax-case*], except that the literals
 are built-in as the names of the primitive Racket forms as
-exported by @racketmodname[scheme/base]; see @secref[#:doc refman
+exported by @racketmodname[scheme/base], including 
+@racket[letrec-syntaxes+values]; see @secref[#:doc refman
 "fully-expanded"].
 
 The @racket[trans?-expr] boolean expression replaces the comparison
@@ -28,8 +29,8 @@ or transformer-phase comparisons. The @racket[clause]s are the same as in
 The primitive syntactic forms must have their normal bindings in the
 context of the @racket[kernel-syntax-case] expression. Beware that
 @racket[kernel-syntax-case] does not work in a module whose language
-is @racket[mzscheme], since the binding of @mzscheme-if from
-@racket[mzscheme] is different than the primitive @racket[if].}
+is @racketmodname[mzscheme], since the binding of @mzscheme-if from
+@racketmodname[mzscheme] is different than the primitive @racket[if].}
 
 
 @defform[(kernel-syntax-case* stx-expr trans?-expr (extra-id ...) clause ...)]{