--- a/spec/index-respec.html Fri Nov 23 13:54:10 2012 -0500
+++ b/spec/index-respec.html Fri Nov 23 13:57:37 2012 -0500
@@ -389,7 +389,7 @@
<dd>A Server is a machine contactable at a domain name or IP address that hosts a number of globally accessible Services.</dd>
<dt><tdef>Service</tdef></dt>
-<dd>A Service is a an agent listening for requests at a given IP address on a given Server.</dd>
+<dd>A Service is an agent listening for requests at a given IP address on a given Server.</dd>
<dt><tdef>TLS Service</tdef></dt>
<dd>A TLS Service is a transport level service listening on the <tref>Service</tref> port.