Improve a comment slightly.