Fix to the travis file