diff --git a/html/labels.html b/html/labels.html
index 5417f79614cad5c9c2a093f235911ca5a0c5a802..d7db0148a3e7d7214260b804f621825204df794e 100644
--- a/html/labels.html
+++ b/html/labels.html
@@ -65,7 +65,10 @@
 <dt>http://knowledgeweb.semanticweb.org/heterogeneity/alignment#properties</dd>
 <dd>STRING the properties satisfied by an alignment or correspondences</dd>
 <dt>http://knowledgeweb.semanticweb.org/heterogeneity/alignment#pretty</dd>
-<dd>STRING providing a short descriptive name of the alignment.</dd>
+<dd>STRING a short descriptive name of the alignment.</dd>
+<dt>http://knowledgeweb.semanticweb.org/heterogeneity/alignment#provenance</dd>
+<dd>STRING identify the tools and versions who created the alignments
+  (concatenated by ;).</dd>
 </dl>
 
 <h2>Dublin core extensions</h2>