fixing a few typos and small errors in the docs