Another 32-bit fix.