small fixed to main.tex