diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl
index fc6313f011..615ec985f2 100644
--- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl
+++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl
@@ -2562,7 +2562,7 @@ These functions build the arguments for @racket[prop:contract],
 @racket[prop:chaperone-contract], and @racket[prop:flat-contract], respectively.
 
 A @deftech{contract property} specifies the behavior of a structure when used as
-a contract.  It is specified in terms of five accessors: @racket[get-name],
+a contract.  It is specified in terms of six accessors: @racket[get-name],
 which produces a description to @racket[write] as part of a contract violation;
 @racket[get-first-order], which produces a first-order predicate to be used by
 @racket[contract-first-order-passes?]; @racket[get-projection], which
@@ -2576,7 +2576,7 @@ to indicate failure) or @racket[#f] to indicate
 that random generation for this contract isn't supported; @racket[exercise],
 which returns a function that exercises values matching the contract (e.g.,
 if it is a function contract, it may call the function) and a list of contracts
-whose values will be generated by this process; and @racket[is-flat-contract?],
+whose values will be generated by this process; and @racket[is-list-contract?],
 which is used by @racket[flat-contract?] to determine if this contract
 accepts only @racket[list?]s.