Small changes, sudoMIPS should be real MIPS now