Some minor fixes to latex