formatting in travis