Small corrections to type casting rules