Tweak the pdf generation
Fix the formatting discount bug on travis