fix some typos in the documentation