Fix encoding in main.tex