update in HTML output
some more HTML cosmetics