Update progrules.txt