Update report16-12.tex