Repaired a few typos and fixed a few minor points in documentation