A fix to file.txt.