Fixes a 64-bit issue