modifying petros.txt