formatting in travis file