Fixing the travis config