Corrections to ex 3.7, 3.8