Correct 32-bit to 64-bit call