diff options
| -rw-r--r-- | doc/misc/url.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/url.texi b/doc/misc/url.texi index 0a96a5428b1..62b1d7444d5 100644 --- a/doc/misc/url.texi +++ b/doc/misc/url.texi @@ -1339,7 +1339,7 @@ Connect directly. @defopt url-user-agent The User Agent string used for sending @acronym{HTTP}/@acronym{HTTPS} requests. The value should be @code{nil}, which means that no -@samo{User-Agent} header is generated, @code{default}, which means +@samp{User-Agent} header is generated, @code{default}, which means that a string is generated based on the setting of @code{url-privacy-leve}, a string or a function of no arguments that returns a string. |