(minor change to a comment)