Re: [basex-talk] Minor PR/fix suggestion