diff --git a/docs/tools/Config_provider.md b/docs/tools/Config_provider.md
index 2347ff54c..bf8b6ad83 100644
--- a/docs/tools/Config_provider.md
+++ b/docs/tools/Config_provider.md
@@ -5,7 +5,7 @@ parent: Tools
 nav_order: 6
 ---
 
-# Config provied
+# DiscoPoP config provider
 ## Executable
 `discopop_config_provider`
 
diff --git a/docs/tools/Explorer.md b/docs/tools/Explorer.md
index c6d1179ac..6fd88f3db 100644
--- a/docs/tools/Explorer.md
+++ b/docs/tools/Explorer.md
@@ -5,7 +5,7 @@ parent: Tools
 nav_order: 2
 ---
 
-# DiscoPoP Explorer
+# DiscoPoP explorer
 ## Executable
 `discopop_explorer`
 
diff --git a/docs/tools/Optimizer.md b/docs/tools/Optimizer.md
index 43cd89903..6a00916a7 100644
--- a/docs/tools/Optimizer.md
+++ b/docs/tools/Optimizer.md
@@ -5,7 +5,7 @@ parent: Tools
 nav_order: 5
 ---
 
-# DiscoPoP Optimizer
+# DiscoPoP optimizer
 ## Executable
 `discopop_optimizer`