Thanks a lot for this Patch, this issue has been open for quite some time ;-)

As Christian is currently on holidays and will only return next week, I added a Pull Request on GitHub https://github.com/BaseXdb/basex/pull/1667 so the patch won’t be lost.

Feel free to resubmit that PR if you’d like to have the correct author info in the git history, currently it is misattributed to me!

Thanks again!

Best from Konstanz

Michael