Final improvements in chapter 2.