Fix mistake in Exercise 11.1.