Update pseudos.txt