Trivial edits for neatness and formatting.