diff --git a/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e b/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e
index 051446a9..fb707b90 100644
--- a/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e
+++ b/library/server/wsf/router/documentation/wsf_router_self_documentation_message.e
@@ -223,21 +223,24 @@ feature {WSF_RESPONSE} -- Output
s.append ("")
if meths /= Void then
- s.append (" [ ")
+ s.append (" [")
across
meths as rq
loop
+ s.append_character (' ')
if l_url /= Void and then rq.item.is_case_insensitive_equal ("GET") then
s.append ("" + rq.item + "")
else
s.append (rq.item)
end
- if not rq.is_last then
- s.append (",")
- end
- s.append (" ")
+ s.append_character (',')
end
- s.append ("]")
+ if s[s.count] = ',' then
+ s.put (' ', s.count)
+ else
+ s.append_character (' ')
+ end
+ s.append_character (']')
end
s.append (" " + html_encoder.encoded_string (m.description) + " ")