fix various typos in the documentation