Minor fix in comments