Fix a missing cast (oops)