--- a/model/prov-dm.html	Sun Apr 01 08:37:42 2012 +0100
+++ b/model/prov-dm.html	Sun Apr 01 08:38:35 2012 +0100
@@ -1406,7 +1406,7 @@
 <ul>
 <li><span class="name">Person</span>: agents of type Person are people.</li> 
 <li><span class="name">Organization</span>: agents of type Organization are social institutions such as companies, societies etc.</li> 
-<li><span class="name">SoftwareAgent</span>: a software agent is a piece of software. </li>
+<li><span class="name">SoftwareAgent</span>: a software agent is running software. </li>
 </ul>
 <p>It is acknowledged that these types do not cover all kinds of agent. </p>