minor edits in eval.tex