fix for the 32-bit fix