Correction to exercise 27