small modification to reflect MIPS32 manual