agent.tex reformatting