Fix encodings of MFHI and MTHI