Update tofix.txt