minor change (comment)