1 files changed, 3 insertions, 3 deletions

diff --git a/subprojects/frontend/src/graph/dotSource.ts b/subprojects/frontend/src/graph/dotSource.ts
index 5f7707aa..5e0b44c8 100644
--- a/subprojects/frontend/src/graph/dotSource.ts
+++ b/subprojects/frontend/src/graph/dotSource.ts
@@ -142,7 +142,7 @@ function createNodes(graph: GraphStore, lines: string[]): void {
     const classes = classList.join(' ');
     const name = nodeName(graph, node);
     const border = node.kind === 'INDIVIDUAL' ? 2 : 1;
-    const count = scopes && data.equalsSelf !== 'TRUE' ? ` ${data.count}` : '';
+    const count = scopes ? ` ${data.count}` : '';
     lines.push(`n${i} [id="${node.name}", class="${classes}", label=<
         <table border="${border}" cellborder="0" cellspacing="0" style="rounded" bgcolor="white">
           <tr><td cellpadding="4.5" width="32" bgcolor="green">${name}${count}</td></tr>`);
@@ -323,7 +323,7 @@ function createEdges(graph: GraphStore, lines: string[]): void {
 
 export default function dotSource(
   graph: GraphStore | undefined,
-): string | undefined {
+): [string, number] | undefined {
   if (graph === undefined) {
     return undefined;
   }
@@ -336,5 +336,5 @@ export default function dotSource(
   createNodes(graph, lines);
   createEdges(graph, lines);
   lines.push('}');
-  return lines.join('\n');
+  return [lines.join('\n'), lines.length];
 }