LaTeX output refined somewhat