Fix typesetting for pdf.