Bugfixes on recently added functionality of pre-sorted files