Updated infix.txt.