Replaced more instances of MIR by HIR.