LaTeX export: Fix two bugs.