updated doc.tex