add a missing cast