The developer changes a.txt again