tidying of HTML output