fix missing cast