Fixing a typo so we get the 32 bit version.