--- a/model/prov-n.html	Fri May 11 12:59:03 2012 +0100
+++ b/model/prov-n.html	Fri May 11 13:01:30 2012 +0100
@@ -20,7 +20,7 @@
 function insertProductionDefinition(doc, content, name) {
 
 	var xml=$.parseXML(content);
-	var segment = $(xml).find('a[name~="' + name + '"]/../..')[0];
+	var segment = $(xml).find('a[name~="' + name + '"]').parent()[0];
 
 	return doc._esc((new XMLSerializer()).serializeToString(segment));
 }