fix in travis file