Explicit casts for eit fixup