Bugfix for 64-bit compilation?