* mips.h: Fix some type-o's from a previous change.