The type-cast was re-introduced here?