Fix the formatting discount bug on travis