add missing cast