Fix a type mismatch.