Update dot.html.md