Bug fixes in writing of HTML results table.