Fixes some MIPS printing