update translation.tex