Some (very) minor improvement.