fix wrong ordering of listing 7.4 and 7.5 in example (use the ordering from the book)