diff --git a/docs/formatstorage.html.in b/docs/formatstorage.html.in
index 0951daa7fc95d0970b3e5283765d2c44961fe71a..933268cde33effef9815f7e6f4e9b5f26c9009f0 100644
--- a/docs/formatstorage.html.in
+++ b/docs/formatstorage.html.in
@@ -386,7 +386,7 @@
         like the logical choice, however, devices nodes there are not
         guaranteed stable across reboots, since they are allocated on
         demand. It is preferable to use a stable location such as one
-        of the <code>/dev/disk/by-{path,id,uuid,label</code> locations.
+        of the <code>/dev/disk/by-{path|id|uuid|label}</code> locations.
         <span class="since">Since 0.4.1</span>
       </dd>
       <dt><code>permissions</code></dt>