Correct small typos, and add some more text.