Fix a few typos and other corrections