Fix a casting warning.