Exercise 1.9 rectified.