--- a/model/ProvenanceModel.html	Wed Oct 05 15:30:57 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Oct 05 16:14:12 2011 +0100
@@ -717,7 +717,7 @@
 <pre class="example">
 processExecution(pe1,add-crime-in-london,t+1,t+1+epsilon,[host="server.example.com"])
 </pre>
-identified by identifier <span class="name">id</span>, states the existence of an activity with recipe link <span class="name">add-crime-in-london</span>, start time <span class="name">t+1</span>, and end time <span class="name">t+1+epsilon</span>, running on host <span class="name">server.example.com</span>.  The attribute <span class="name">host</span> is application specific, but MUST hold for the duration of activity.
+<p>identified by identifier <span class="name">id</span>, states the existence of an activity with recipe link <span class="name">add-crime-in-london</span>, start time <span class="name">t+1</span>, and end time <span class="name">t+1+epsilon</span>, running on host <span class="name">server.example.com</span>.  The attribute <span class="name">host</span> is application specific, but MUST hold for the duration of activity.
 </p>
 
 <p>The mere existence of a process execution assertion entails some event ordering in the world, since the start event precedes the end event.  This is expressed by constraint <a href="'#start-precedes-end'">start-precedes-end</a>.</p>