small fix in chapter 9