Bug fix: file names with only digits do not make up a sequence