Modify some XSLT snippets