Fix typo in List 7.16 in Chapter 7