Cleaning up typos and a few mistakes