Bugfix in XSLT2