Fixing the travis config.