update README.tex