Fixed some typos in the introduction