Changes to HTML and inclusion of method names in DOT graphs