info.tex updated