Fix a type (found by Gallaecio)