minor change in a comment