Just a minor change in comments