Fix a cast.