Update to numbering of listings in Chapter 5