diff --git a/docs/tools.rst b/docs/tools.rst
index a57d630c..d5b8649a 100644
--- a/docs/tools.rst
+++ b/docs/tools.rst
@@ -9,7 +9,7 @@ The main tools can be grouped in the following categories:
 
   - :ref:`Shell`
   - :ref:`Python`
-  - :ref:`Terminal`
+  - :ref:`Tmux`
 
 - filesystem