Various phrasing changes for grammatical or redundancy reasons.