fix array header in HtmlDump