Hopefully fixed unfortunate document.evaluate bug in ECMAScript bindings