by konstantin.komelin: Minor fix in comments.