diff --git a/docs/install.rst b/docs/install.rst
index d7a0331..80df349 100644
--- a/docs/install.rst
+++ b/docs/install.rst
@@ -77,10 +77,10 @@ In what follows we assume that the tool is deployed as the ``editgroups`` projec
 -  ``become editgroups``
 -  ``mkdir -p www/python/src``
 
-Put the following contents in ``manifest.template`` in the home directory of the tool::
+Put the following contents in ``service.template`` in the home directory of the tool::
 
   backend: kubernetes
-  type: python3.7
+  type: python3.11
 
 Install the dependencies in the virtualenv::
 
@@ -121,6 +121,9 @@ the wiki that you are running EditGroups for (for instance ``MEDIAWIKI_API_ENDPO
 You should also adapt the allowed hostname (taken from ``editgroups/settings/prod.py``). It's easier
 to add those to the ``__init__.py`` file to avoid editing files tracked by Git.
 
+Set up a redis container for the service, following instructions at https://wikitech.wikimedia.org/wiki/Tool:Containers#Redis_container.
+The password and host name of the redis container need to be inserted in `editgroups/settings/secret.py` as `REDIS_PASSWORD` and `REDIS_HOST` respectively.
+
 Put the following content in ``~/www/python/uwsgi.ini``::
 
   [uwsgi]
diff --git a/editgroups/settings/secret_toolforge.py b/editgroups/settings/secret_toolforge.py
index 43429db..42865c8 100644
--- a/editgroups/settings/secret_toolforge.py
+++ b/editgroups/settings/secret_toolforge.py
@@ -26,7 +26,7 @@
 SOCIAL_AUTH_MEDIAWIKI_CALLBACK = 'https://editgroups.toolforge.org/oauth/complete/mediawiki/'
 
 # Redis (if you use it)
-REDIS_HOST = 'tools-redis'
+REDIS_HOST = 'editgroups-redis'
 REDIS_PORT = 6379
 REDIS_DB = 3
 REDIS_PASSWORD = ''