diff --git a/doc/en/dev_test_setup_linux.md b/doc/en/dev_test_setup_linux.md
index 09f238af1..5e4a1195a 100644
--- a/doc/en/dev_test_setup_linux.md
+++ b/doc/en/dev_test_setup_linux.md
@@ -16,7 +16,7 @@ The preferred method is via rvm:
 
 (only the multi user option installs all dependencies automatically, as we use 'sudo'.)
 
-### As local user:
+### As local user
 
 ```
 curl -L https://get.rvm.io | bash -s stable
diff --git a/doc/es/dev_test_setup_linux.md b/doc/es/dev_test_setup_linux.md
index dc27585fc..b5c50eff0 100644
--- a/doc/es/dev_test_setup_linux.md
+++ b/doc/es/dev_test_setup_linux.md
@@ -16,13 +16,13 @@ El método recomendado es via rvm:
 
 (sólo la opción multiusuario instala todas las dependencias automáticamente, al usar 'sudo'.)
 
-### Como usuario local:
+### Como usuario local
 
 ```
 curl -L https://get.rvm.io | bash -s stable
 ```
 
-### Para todos los usuarios del sistema:
+### Para todos los usuarios del sistema
 
 ```
 curl -L https://get.rvm.io | sudo bash -s stable