Fix various typos and grammar glitches.

This patch fixes a number of typos and grammar glitches (mostly missing articles) in comments.
I hope these are uncontroversial; if accepted, I can offer a few more where I personally find the
comments difficult to understand, and would propose a rewrite (but they are probably more controversial,
so not included here).