made a change to a.txt