a3: fix a typo in proprietary-files.txt