fix 64-bit issue