Hopefully fix 64 bit glitch