diff --git a/src/modules/pike/doc/pike_devel.xml b/src/modules/pike/doc/pike_devel.xml
index 3b96276da58..950b54cf907 100644
--- a/src/modules/pike/doc/pike_devel.xml
+++ b/src/modules/pike/doc/pike_devel.xml
@@ -19,10 +19,10 @@
Tree of &ip; addresses
- / 193 - 175 - 132 - 164
-tree root / \ 142
- \ 195 - 37 - 78 - 163
- \ 79 - 134
+ / 193 - 175 - 132 - 164
+tree root / \ - 142
+ \ 195 - 37 - 78 - 163
+ \ - 79 - 134