Use correct cast