Fix a missing cast.