Minor bug fixes in Mips32 code