2.7.2: fixed bug that crushed the extension when xml-attributes have html-entities, e.g. "&amp;"