--- a/model/working-copy/wd5-prov-dm-misc.html	Tue Mar 13 10:58:46 2012 +0000
+++ b/model/working-copy/wd5-prov-dm-misc.html	Tue Mar 13 12:02:25 2012 +0000
@@ -271,7 +271,7 @@
 In the following example, invalidation is caused by the disappearance of an entity. Let us consider the proceedings of the 2002 Chicago provenance workshop. They used to be hosted at <span class="name">http://people.cs.uchicago.edu/~yongzh/position_papers.html</span>, and were lost as a researcher left the hosting institution.  The proceedings were restored at <a href="http://www.ipaw.info/chicago02/position_papers.html"><span class="name">ipaw:2002</span></a>.
 <pre class="codeexample">
 entity(chicago:wkshp2002,[prov:type="workshop talks"])
-wasInvalidatedBy(tr:prov-dm,2010-08-21T00:00:00)
+wasInvalidatedBy(chicago:wkshp2002,2010-08-21T00:00:00)
 
 entity(ipaw:wkshp2002,[prov:type="workshop talks"])
 activity(ex:restore,[prov:type="Restore"])