Minor rename of a data type.