Exercise 17.12 update