Fix a casting problem.