MIPS64: fix.