Minor markup & grammar fixes. No semantic changes.