workaround wrong xqlint error