Fix typo and spacing in Listing 3.