Correction to my answer to exercise 13