Fix in cast-01.ts