forgot to save main.tex before pushing