Fixing a few typos in docs