Small improvements in chp. 5.