diff --git a/docs/en/installation/debian.md b/docs/en/installation/debian.md
index b8e1b927f..aa761a15d 100644
--- a/docs/en/installation/debian.md
+++ b/docs/en/installation/debian.md
@@ -1,4 +1,4 @@
-# Configuration for development and test environments (Debian 9.8)
+# Configuration for development and test environments (Debian GNU/Linux 9.8)
 
 ## Superuser
 
diff --git a/docs/es/installation/debian.md b/docs/es/installation/debian.md
index 30eb6e68e..bbde055c2 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 9.8)
+# Configuración para los entornos de desarrollo y pruebas (Debian GNU/Linux 9.8)
 
 ## Super usuario