Ah, indeed, you are correct. They are different files, they just aren't marked that way on my downloads list. And when I made the mistake of trying to download the second file without the first finishing, it seems it attempted to download the original file a second time.
All seems well now...