Re: [basex-talk] Problems with 8.5.3