Fixing typos in chapter 4