correct of proprietary-files.txt