I just checked and they appear to be correctly labeled. Either way, a 64 bit system should be able to run both versions. Not sure what the issue is but I'd guess something went wrong during the download.
OK perhaps that was it the mane thing is I can play it