A variety of minor edits.