Oops, fix 32-bit compilation.