Fix for bug in xmldb