// dom fixup for gecko pre 1.9b5
var n = document.getElementsByTagName('header')[0];
if (n.childNodes.length <= 1) { // the element was closed early
var tags = ['ARTICLE', 'NAV', 'FOOTER', 'undefined'];
for (var i = 0; i < tags.length; ++i) {
  while (n.nextSibling && n.nextSibling.nodeName != tags[i]) {
	n.appendChild(n.nextSibling);
  }
  n = n.nextSibling;
}
}