fix bug with travis file