Improve the wording of a comment slightly.