@kluver thanks, you are right. I will remove the non-quote escapes.

Dot's definitions are *bizarre*. I want to move away from graphviz (#318), rendering the graphs directly in Java, but that's a someday-later project.