Stick to 80 chars per line in main.tex