Fixed a couple of typos in section 2.5.