diff --git a/racket/src/cs/primitive/kernel.ss b/racket/src/cs/primitive/kernel.ss
index db407e75b9..6e37991e26 100644
--- a/racket/src/cs/primitive/kernel.ss
+++ b/racket/src/cs/primitive/kernel.ss
@@ -638,18 +638,18 @@
   [primitive-result-arity (known-procedure 2)]
   [primitive? (known-procedure/pure 2)]
   [print (known-procedure 14)]
-  [print-as-expression (known-procedure 3)]
-  [print-boolean-long-form (known-procedure 3)]
-  [print-box (known-procedure 3)]
-  [print-graph (known-procedure 3)]
-  [print-hash-table (known-procedure 3)]
-  [print-mpair-curly-braces (known-procedure 3)]
-  [print-pair-curly-braces (known-procedure 3)]
-  [print-reader-abbreviations (known-procedure 3)]
-  [print-struct (known-procedure 3)]
-  [print-syntax-width (known-procedure 3)]
-  [print-unreadable (known-procedure 3)]
-  [print-vector-length (known-procedure 3)]
+  [print-as-expression (known-procedure/succeeds 3)]
+  [print-boolean-long-form (known-procedure/succeeds 3)]
+  [print-box (known-procedure/succeeds 3)]
+  [print-graph (known-procedure/succeeds 3)]
+  [print-hash-table (known-procedure/succeeds 3)]
+  [print-mpair-curly-braces (known-procedure/succeeds 3)]
+  [print-pair-curly-braces (known-procedure/succeeds 3)]
+  [print-reader-abbreviations (known-procedure/succeeds 3)]
+  [print-struct (known-procedure/succeeds 3)]
+  [print-syntax-width (known-procedure/succeeds 3)]
+  [print-unreadable (known-procedure/succeeds 3)]
+  [print-vector-length (known-procedure/succeeds 3)]
   [printf (known-procedure -2)]
   [procedure->method (known-procedure/no-prompt 2)]
   [procedure-arity (known-procedure 2)]
@@ -701,7 +701,7 @@
   [random (known-procedure/no-prompt 15)]
   [random-seed (known-procedure/no-prompt 2)]
   [rational? (known-procedure/pure/folding 2)]
-  [read-accept-bar-quote (known-procedure 3)]
+  [read-accept-bar-quote (known-procedure/succeeds 3)]
   [read-byte (known-procedure 3)]
   [read-byte-or-special (known-procedure 15)]
   [read-bytes (known-procedure 6)]
@@ -710,7 +710,7 @@
   [read-bytes-avail!* (known-procedure 30)]
   [read-bytes-avail!/enable-break (known-procedure 30)]
   [read-bytes-line (known-procedure 7)]
-  [read-case-sensitive (known-procedure 3)]
+  [read-case-sensitive (known-procedure/succeeds 3)]
   [read-char (known-procedure 3)]
   [read-char-or-special (known-procedure 15)]
   [read-line (known-procedure 7)]
diff --git a/racket/src/schemify/known.rkt b/racket/src/schemify/known.rkt
index f104283722..5021856b74 100644
--- a/racket/src/schemify/known.rkt
+++ b/racket/src/schemify/known.rkt
@@ -57,8 +57,7 @@
 (struct known-literal (value) #:prefab #:omit-define-syntaxes #:super struct:known-consistent)
 
 ;; procedure with arity mask; the procedure has to be a procedure from the host
-;; Scheme's perspective --- not an applicable struct or chaperoned procedure, which
-;; means that parameters don't count
+;; Scheme's perspective --- not an applicable struct or chaperoned procedure
 (struct known-procedure (arity-mask) #:prefab #:omit-define-syntaxes #:super struct:known-consistent)
 
 ;; procedure that does not need to run inside a module prompt, which implies that the