diff --git a/support/doc/production.md b/support/doc/production.md
index b354e75eb..ea5a27a3b 100644
--- a/support/doc/production.md
+++ b/support/doc/production.md
@@ -59,11 +59,11 @@ $ sudo -u peertube wget -q "https://github.com/Chocobozzz/PeerTube/releases/down
 $ sudo -u peertube unzip peertube-${VERSION}.zip && sudo -u peertube rm peertube-${VERSION}.zip
 ```
 
-Install Peertube. If you're using CentOS7, do not forget to activate the devtoolset-6 software collection:
+*If you're using CentOS7, do not forget to activate the devtoolset-6 software collection.
+And after that, follow the step as usual. Do not forget to exit the environment after installing Peertube:*
 ```
 $ scl enable devtool-6 bash
 ```
-And after that, follow the step as usual. Do not forget to exit the environment after installing Peertube.
 
 Install Peertube:
 ```