temporary extra debug for htmldump