fixup 64-bit issue