Type corrections, small suggestions for sections 10...13