fix some typos in text and code