diff --git a/html/rest.html b/html/rest.html
index 4aef223953dce8f5d45ef9028414611b27228297..cea4dd5121a8c2a9736bf590defb808f54a586ee 100644
--- a/html/rest.html
+++ b/html/rest.html
@@ -23,7 +23,7 @@ The result of these requests are provided in XML.
 In the sequel, we describe the various request types.
 They can be obtained by:
 <div class="terminal">
-$ curl -H "Content-Type: text/xml" '&lt;URL&gt;'
+$ curl -L -H "Content-Type: text/xml" '&lt;URL&gt;'
 </div>
 </p>
 <p>