small changes in travis file