fixes to latex.json