adapt to newer basex version
[MIN] minor change