Fix another mips32 warning.