slightly better wording in a comment