Minor fix according to previous rename.