fixing a few typos in the doc...