fix various typos in documentation