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...