minor edit in comments