Fix a few typos and clarify a point