--- a/spec/identity-respec.html	Tue Apr 23 11:38:19 2013 +0200
+++ b/spec/identity-respec.html	Tue Apr 23 11:42:50 2013 +0200
@@ -354,7 +354,7 @@
 <p>
 A WebID is an HTTP URI which refers to an Agent (Person, Organization, Group, Device, etc.). A description of the WebID can be found in the <tref>Profile Document</tref>, a type of web page that any Social Network user is familiar with.</p>
 <p>
-A WebID <tref>Profile Document</tref> is a Web resource that MUST be available as text/turtle [[!TURTLE-TR]], but MAY be available in other RDF serialization formats (e.g. [[!RDFA-CORE]]) if requested through content negotiation. 
+A WebID <tref>Profile Document</tref> is a Web resource that MUST be available as <code>text/turtle</code> [[!TURTLE-TR]], but MAY be available in other RDF serialization formats (e.g. [[!RDFA-CORE]]) if requested through content negotiation. 
 </p>
 <p>
 WebIDs can be used to build a Web of trust using vocabularies such as FOAF [[!FOAF]] by allowing people to link together their profiles in a public or protected manner. 
@@ -392,7 +392,7 @@
 
 <dt><tdef>WebID Profile</tdef> or <tdef>Profile Document</tdef></dt>
 <dd>
-A WebID Profile is an RDF document which uniquely describes the Agent denoted by the WebID in relation to that WebID. The server MUST provide a text/turtle [[!TURTLE-TR]] representation of the requested profile. This document MAY be available in other RDF serialization formats, such as RDFa [[!RDFA-CORE]], or [[!RDF-XML]] if so requested through content negotiation.
+A WebID Profile is an RDF document which uniquely describes the Agent denoted by the WebID in relation to that WebID. The server MUST provide a <code>text/turtle</code> [[!TURTLE-TR]] representation of the requested profile. This document MAY be available in other RDF serialization formats, such as RDFa [[!RDFA-CORE]], or [[!RDF-XML]] if so requested through content negotiation.
 </dd>
 </dl>