> Saxon is getting this wrong

ah I did wonder, thanks for the confirmation...

The original code was a large xsl:choose that happened to hit a case
where all the branches were false so it returned nothing.

David