Avoid a type-cast