And fix another MIPS64 bug introduced with the last commit.