bugfix for DOM.query