Correct tense of description for Listing 9.10 (Thx to @spikeolaf)