diff --git a/docs/user/getting_started.rst b/docs/user/getting_started.rst
index 007886436b4ea5592ca95a920d8b95209b9303d9..9984052599786ca9ca4e1bbbaf4477329db71b90 100644
--- a/docs/user/getting_started.rst
+++ b/docs/user/getting_started.rst
@@ -93,7 +93,7 @@ In case of errors read the messages carefully and try to fix the stated issues
 ``ar71xx-generic`` is the most common target and will generate images for most of the supported hardware.
 To see a complete list of supported targets, call ``make`` without setting ``GLUON_TARGET``.
 
-To build all targets use a loop like this:
+To build all targets use a loop like this::
 
     for TARGET in $(make list-targets); do
       make GLUON_TARGET=$TARGET