Fixed type casts