Modified the MIVisitor