Fix a leftover type