diff --git a/docs/en/installation/debian.md b/docs/en/installation/debian.md
index aa761a15d..b5182a9e3 100644
--- a/docs/en/installation/debian.md
+++ b/docs/en/installation/debian.md
@@ -1,4 +1,4 @@
-# Configuration for development and test environments (Debian GNU/Linux 9.8)
+## Configuration for development and test environments (Debian 9.8)
 
 ## Superuser
 
diff --git a/docs/en/installation/ubuntu.md b/docs/en/installation/ubuntu.md
index 04ee2668b..5f4f1b124 100644
--- a/docs/en/installation/ubuntu.md
+++ b/docs/en/installation/ubuntu.md
@@ -1,4 +1,4 @@
-# Configuration for development and test environments (Ubuntu 18.04)
+## Configuration for development and test environments (Ubuntu 18.04)
 
 ## Git
 
diff --git a/docs/es/installation/debian.md b/docs/es/installation/debian.md
index bbde055c2..c8c77d8b2 100644
--- a/docs/es/installation/debian.md
+++ b/docs/es/installation/debian.md
@@ -1,4 +1,4 @@
-# Configuración para los entornos de desarrollo y pruebas (Debian GNU/Linux 9.8)
+## Configuración para los entornos de desarrollo y pruebas (Debian 9.8)
 
 ## Super usuario
 
diff --git a/docs/es/installation/ubuntu.md b/docs/es/installation/ubuntu.md
index 4c31d3a82..92a7d3a1d 100644
--- a/docs/es/installation/ubuntu.md
+++ b/docs/es/installation/ubuntu.md
@@ -1,4 +1,4 @@
-# Configuración para los entornos de desarrollo y pruebas (Ubuntu 18.04)
+## Configuración para los entornos de desarrollo y pruebas (Ubuntu 18.04)
 
 ## Git