Some minor edits on style, not in the context.