Typos fixed. Tweaks to docs