Add a missing paragraph at the next of Listing 9.9