Minor fix in Utils