Fixed a few minor int/uint32 misses