tps_eval.tex: corrections