Fix typos in introductory documentation