...

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 1be668bb0502ecfd3f1a61ccf81adfeb2a6f381b..001ff876d20fa8fee77363664f04238501ce295f 100644 (file)
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -327,7 +327,9 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 <xsl:template match="instantiate" mode="pure">
        <m:apply>
          <xsl:if test="@id">
-          <xsl:attribute name="helm:xref" select="@id"/>
+          <xsl:attribute name="helm:xref">
+          <xsl:value-of select="@id"/>
+          </xsl:attribute>
          </xsl:if>
         <m:csymbol>inst</m:csymbol>
         <xsl:apply-templates mode="noannot" select="*[1]" />