Bugfix: some files are not listed