Four typos fixes from Brian, and repaired navigation to chapter 2