Just a minor comment change