diff --git a/docs/user/smith.md b/docs/user/smith.md
index 915bb52b35e7fe3b1dd4dec8d1956953484d8892..a3cbc249a4509d27eb91690f420c93fe70916208 100644
--- a/docs/user/smith.md
+++ b/docs/user/smith.md
@@ -16,8 +16,9 @@
 
 ### Reverse-proxy part (with Nginx)
 
-In `/etc/nginx/sites-enabled/gdev.YOUR_DOMAIN` put (you can probably do simpler) :
-```
+In `/etc/nginx/sites-enabled/gdev.YOUR_DOMAIN` put (you can probably do simpler):
+
+```nginx
 server {
   server_name gdev.YOUR_DOMAIN.fr;