fix minor typos in documentation