correction prod.txt