Update bevis.tex