Update readme.tex