Redundant double cast