Fixed the travis file