dumpHTML improvements: