wrong formatting in travis file