Fix a typo in Chapter 8.1.5