Got rid of indeterminacy in the overlapping-files.