Reformatting main.tex