minor change of a comment