Text of the guide mentions a "tempN" that does not appear in error message

[tautologico]

This is a small bug but nevertheless I found it a bit confusing when reading. In Section 7.2.6 of the Racket Guide, "7.2.6 Contract Messages with “tempN”", the text says:

Several clients used your module. Others used their modules in turn. And all of a sudden one of them sees this error message:

> (require 'bank-server)
> (deposit -10)
deposit: contract violation
  expected: ???
  given: -10
  in: the 1st argument of
      (-> ??? any)
  contract from: bank-server
  blaming: top-level
   (assuming the contract is correct)
  at: eval:2.0

What is the temp7 doing there? Wouldn’t it be nice if we had a name for this class of data much like we have string, number, and so on?

But there is no temp7 in the error message, probably changed to ???. The tempN format is also referred to in the section title.