working on the Travis format