Corrections to exercise 23