--- a/xml/en/docs/http/request_processing.xml	Thu Jul 19 04:57:51 2012 +0000
+++ b/xml/en/docs/http/request_processing.xml	Thu Jul 19 05:17:45 2012 +0000
@@ -140,10 +140,10 @@
 the IP address and port.
 If the server name is not found, the request will be processed by
 the default server.
-For example, a request for <url>www.example.com</url> received on
+For example, a request for <literal>www.example.com</literal> received on
 the 192.168.1.1:80 port will be handled by the default server
 of the 192.168.1.1:80 port, i.e., by the first server,
-since there is no <url>www.example.com</url> defined for this port.
+since there is no <literal>www.example.com</literal> defined for this port.
 </para>
 
 <para>