formatting in travis file #2