What if indexFile was a superkey?  Should at least assert that numFiles == 2