""9054a37 more latex changes
""