small fix in .tex