fixing up 64 bit ints I broke