minor corrections in 3.2