update write-up.tex