minor addition in comments