Small improvements in chapter 4.