fix the warning for casts to unreified types