minor HTML output formatting added