Improve a comment's wording slightly.