Note possible fix to 64-bit support