diff --git a/src/main/java/kieker/analysis/util/graph/export/dot/DotElementExporter.java b/src/main/java/kieker/analysis/util/graph/export/dot/DotElementExporter.java
index 89a5f94d36d596693652e2763ad15f1f7ed4da9d..61285c749346414b567b43dfdf387d4b016fecdd 100644
--- a/src/main/java/kieker/analysis/util/graph/export/dot/DotElementExporter.java
+++ b/src/main/java/kieker/analysis/util/graph/export/dot/DotElementExporter.java
@@ -4,6 +4,7 @@ import java.io.IOException;
 import java.util.HashMap;
 import java.util.Map;
 import java.util.Map.Entry;
+import java.util.Set;
 
 import kieker.analysis.util.graph.Direction;
 import kieker.analysis.util.graph.Edge;
@@ -13,8 +14,6 @@ import kieker.analysis.util.graph.Vertex;
 import kieker.analysis.util.graph.export.AbstractTransformer;
 import kieker.analysis.util.graph.util.dot.DotGraphWriter;
 
-import java.util.Set;
-
 class DotElementExporter extends AbstractTransformer<Void> {
 
 	protected final DotGraphWriter dotGraphWriter;
@@ -37,7 +36,6 @@ class DotElementExporter extends AbstractTransformer<Void> {
 				for (Entry<String, String> attribute : attributes.entrySet()) {
 					dotGraphWriter.addGraphAttribute(attribute.getKey(), attribute.getValue());
 				}
-
 				transformDefaultElementProperties(childGraph);
 
 				DotElementExporter childGraphWriter = new DotElementExporter(childGraph, dotGraphWriter);
diff --git a/src/main/java/kieker/analysis/util/graph/export/dot/DotExporter.java b/src/main/java/kieker/analysis/util/graph/export/dot/DotExporter.java
index 27d4ec995c2ca92fe3fd80745505897e790c1c03..b30aa05bbc6262d65a7261c87dab5d6d4c7ffa83 100644
--- a/src/main/java/kieker/analysis/util/graph/export/dot/DotExporter.java
+++ b/src/main/java/kieker/analysis/util/graph/export/dot/DotExporter.java
@@ -2,6 +2,7 @@ package kieker.analysis.util.graph.export.dot;
 
 import java.io.IOException;
 import java.io.Writer;
+import java.util.Map.Entry;
 
 import kieker.analysis.util.graph.Graph;
 import kieker.analysis.util.graph.util.dot.DotGraphWriter;
@@ -16,8 +17,8 @@ public class DotExporter extends DotElementExporter {
 	protected void beforeTransformation() {
 		try {
 			dotGraphWriter.start(graph.getName());
-			for (String attributeKey : graph.getPropertyKeys()) {
-				dotGraphWriter.addGraphAttribute(attributeKey, graph.getProperty(attributeKey));
+			for (Entry<String, String> attribute : transformProperties(graph).entrySet()) {
+				dotGraphWriter.addGraphAttribute(attribute.getKey(), attribute.getValue());
 			}
 			transformDefaultElementProperties(graph);
 		} catch (IOException e) {