change in travis file