fix comment to make Mr. Jenkins happy