reverted change to circumvent xqlint bug