Update tests.tex