Minor fix in comment