* Minor improvemen of LaTeX generation.