Modifying file.txt