Fix incorrect definition of MIHCoding.