--- a/spec/identity-respec.html	Thu Nov 22 23:09:55 2012 +0100
+++ b/spec/identity-respec.html	Fri Nov 23 13:54:10 2012 -0500
@@ -380,7 +380,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>WebID</tdef></dt>
 <dd>A WebID is a URI with an <code>http</code> or <code>https</code> scheme, which contains a URI fragment identifier (i.e. a #id ) and which uniquely denotes an Agent (Person, Organization, Group, Device, etc.). The URI without the fragment identifier denotes the WebID <tref>Profile page</tref>.