Mostly grammatical — but a few editorial — changes