Tweaking LaTeX generation.