toDot does not need a document parameter