Update dis.tex