Correct a type fault