Fix a type error.