diff --git a/docs/source/developer.rst b/docs/source/developer.rst
index e14e3350d10507dc9a425fe42080b1573f4e2674..517dfa324298e9451bfa5f9b25eef9726476686e 100644
--- a/docs/source/developer.rst
+++ b/docs/source/developer.rst
@@ -14,9 +14,9 @@ The docker setup is managed using ``make`` in the ``docker-compose`` directory.
 - ``make restart <container>`` to restart a specific container, for example to effectuate a code change.
 - ``make clean`` to remove all images and containers, and the ``tangodb`` volume. To do a deeper clean, we need to remove all volumes and rebuild all containers from scratch::
 
-  make clean
-  docker volume prune
-  docker build-nocache
+     make clean
+     docker volume prune
+     docker build-nocache
 
 Since the *Python code is taken from the host when the container starts*, restarting is enough to use the code you have in your local git repo. Rebuilding is unnecessary.