correct cast