A few more .tex fixes.