Small tweaks to chapter 5