rem:  if (aElement.nodeType == 1) { 
add:   if (aElement.nodeType == 1 && aElement != aElement.ownerDocument.documentElement) { 
context:   flashElement: function(aElement)  {    // make sure we only try to flash element nodes    if (aElement.nodeType == 1) {      var flasher = this.flasher;            if (flasher.flashing)         flasher.stop();              try {        flasher.element = aElement;        flasher.start();      } catch (ex) {      }    }  },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/732dc6261a2ac11c9af2f33803020c5eb226df56/dom.js/buggy/extensions/inspector/resources/content/viewers/dom/dom.js