--- a/model/glossary.html	Mon Nov 05 14:46:53 2012 +0000
+++ b/model/glossary.html	Mon Nov 05 16:13:54 2012 +0000
@@ -151,7 +151,7 @@
 </span>
 
 <span class="glossary" id="glossary-start">  
-<dfn id="concept-start">Start</dfn> is when an activity is deemed to have been started by an an entity, known as <dfn id="concept-start-trigger">trigger</dfn>.
+<dfn id="concept-start">Start</dfn> is when an activity is deemed to have been started by an entity, known as <dfn id="concept-start-trigger">trigger</dfn>.
  The activity did not exist before its start. Any usage, generation, or invalidation involving an activity follows the activity's start.
 A start may refer to a trigger entity that set off the activity, or to an activity, known as <dfn id="concept-start-starter">starter</dfn>, that generated the trigger.
 </span>

--- a/model/prov-dm.html	Mon Nov 05 14:46:53 2012 +0000
+++ b/model/prov-dm.html	Mon Nov 05 16:13:54 2012 +0000
@@ -2483,7 +2483,7 @@
 
 
 <div class="anexample" id="anexample-wasAssociatedWith">
-<p>In the following example, a designer agent and an operator agent are associated with an activity. The designer's goals are achieved by a workflow <span class="name">ex:wf</span>, described as an an entity of type <span class="name"><a>plan</a></span>.   </p>
+<p>In the following example, a designer agent and an operator agent are associated with an activity. The designer's goals are achieved by a workflow <span class="name">ex:wf</span>, described as an entity of type <span class="name"><a>plan</a></span>.   </p>
 <pre class="codeexample">
 activity(ex:a, [ prov:type="workflow execution" ])
 agent(ex:ag1,  [ prov:type="operator" ])