Fixup getInt32.