Update petter.tex