improves doc.tex