Minor fix in the naming