Style changes to listing 6.13