minor change in comments