Minor edit in comments