fixed invalid HTML

this messed up the DOM (thanks, browsers) and thus confused certain
JavaScript widgets (notably tabs)