Fix a couple of typos in Chapter 4