Redundant type casting?