diff --git a/docs/en/installation/debian.md b/docs/en/installation/debian.md
index b5182a9e3..c3efa3447 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 c8c77d8b2..fab3f1ac8 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