Fixed the travis config