Indent a bit the HTML output