Tweak LaTeX in docs