--- a/model/prov-dm.html	Tue Mar 27 23:25:44 2012 +0100
+++ b/model/prov-dm.html	Tue Mar 27 23:28:40 2012 +0100
@@ -2001,7 +2001,7 @@
 <h3>Insertion</h3>
 
 <span class="glossary" id="glossary-collection-insertion">
- <dfn id="concept-insertion">Insertion</dfn> is a derivation denoting the transformation of a collection into another, by insertion of one or more key-value pairs.
+ <dfn id="concept-insertion">Insertion</dfn> is a derivation that transforms a collection into another, by insertion of one or more key-value pairs.
 </span>
 
 <p>
@@ -2044,7 +2044,7 @@
 <h3>Removal</h3>
 
 <span class="glossary" id="glossary-collection-removal">
- <dfn id="concept-removal">Removal</dfn> is a derivation denoting the transformation of a collection into another, obtained from the former by removing of one or more key-value pairs.
+ <dfn id="concept-removal">Removal</dfn> is a derivation that transforms a collection into another, by removing one or more key-value pairs.
 </span>