diff --git a/doc/xml/user-guide.xml b/doc/xml/user-guide.xml index a8830d4ed..ff272de45 100644 --- a/doc/xml/user-guide.xml +++ b/doc/xml/user-guide.xml @@ -1999,7 +1999,8 @@