Fixed some typos in section 2.7.