fix a minor comment