diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl
index 5404c55a8c..e0f30aab7e 100644
--- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl
+++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl
@@ -52,13 +52,13 @@ constraints.
 various operations listed in this section of the manual, and various
 ordinary Racket values that double as contracts, including
 @itemize[
-@item{@tech{symbols}, @tech{booleans}, @tech{characters}, @tech{keywords}, and
+@item{@tech{symbols}, @tech{booleans}, @tech{keywords}, and
 @racket[null], which are treated as contracts that recognize
 themselves, using @racket[eq?], }
 
-@item{@tech{strings}, @tech{byte strings}, @racket[+nan.0], and
-       @racket[+nan.f], which are treated as contracts
-that recognize themselves using @racket[equal?], }
+@item{@tech{strings}, @tech{byte strings}, @tech{characters}, 
+      @racket[+nan.0], and @racket[+nan.f], which are treated
+      as contracts that recognize themselves using @racket[equal?], }
 
 @item{@tech{numbers} (except @racket[+nan.0] and
        @racket[+nan.f]), which are treated as contracts
diff --git a/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt b/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt
index f2c36b6a56..3f95d1f620 100644
--- a/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt
+++ b/pkgs/racket-test/tests/racket/contract/flat-contracts.rkt
@@ -59,6 +59,8 @@
   (test-flat-contract #\a #\a #\b)
   (test-flat-contract #\a #\a 'a)
   (test-flat-contract ''a 'a 'b)
+  (let ([a #\⊢])
+    (test-flat-contract a (integer->char (char->integer a)) #\a))
   (test-flat-contract ''a 'a #\a)
   (test-flat-contract "x" "x" "y")
   (test-flat-contract "x" "x" 'x)