Minor fix (rename).