fix some typos in docs