More semantics in HTML output