Update literate.tex, formatting