Minor change in chapter 9