modification to diss.tex