--- a/model/fpwd/Overview.html	Tue Oct 11 12:20:30 2011 +0100
+++ b/model/fpwd/Overview.html	Tue Oct 11 12:34:26 2011 +0100
@@ -2229,7 +2229,7 @@
   <span class="name">wasRemovedFrom_Key(c4,k1)</span></pre>
 <p>The corresponding graphical representation is shown below.</p>
 
-<img src="WD-prov-dm-00011018/collections.png" style="align=center;" alt="collections">
+<img src="collections.png" style="align=center;" alt="collections">
 
 
 <p>  With these assertions:</p>

Binary file model/fpwd/WD-prov-dm-00011018/collections.png has changed

Binary file model/fpwd/collections.png has changed