fixed writeup.tex