diff --git a/doc/latex/url.tex b/doc/latex/url.tex
index b181ddf..7c40363 100644
--- a/doc/latex/url.tex
+++ b/doc/latex/url.tex
@@ -25,7 +25,7 @@ only the parsing of http URLs is implemented.
   describes path-prefixes of the form
   \semvar{user}:\semvar{password}@\semvar{host}:\semvar{port}. These
   are frequently used as the initial prefix of URL's describing
-  Internet resources. Each slot is a decoded string or \sharpf (yes,
+  Internet resources. Each slot is a decoded string or \sharpf\ (yes,
   \semvar{port} is also a string).
   
   \ex{userhost?} is the corresponding predicate,
@@ -41,12 +41,13 @@ only the parsing of http URLs is implemented.
 
 \defun{parse-userhost}{path default}{userhost-record}
 \begin{defundescx}{userhost->string}{userhost-record}{string}
-  \ex{parse\=userhost} parses a URI path (a list representing a path,
-  not a string!) into a userhost record. Default values are taken from
-  the userhost record \semvar{default} except for the host. The values
-  are unescaped and stored into a userhost record that is returned.
-  \ex{fatal\=syntax\=error} is called, if the specified path has no
-  initial to slashes (i.e., it starts with `//\ldots').
+  \ex{parse\=userhost} parses a URI \semvar{path} (a list representing
+  a path, not a string!) into a userhost record. Default values are
+  taken from the userhost record \semvar{default} except for the
+  host. The values are unescaped and stored into a userhost record
+  that is returned.  \ex{fatal\=syntax\=error} is called, if the
+  specified path has no initial to slashes (i.e., it starts with
+  `//\ldots').
   
   \ex{userhost->string} just does the inverse job: it unparses
   \semvar{userhost-record} into a string. The elements of the record