Minor update to the generation of `.dot` files by the `diagrams` tool