Fixing typos in chapter 9