diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java
index 5680ddff55..632bf3c552 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java
+++ b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java
@@ -68,6 +68,7 @@ public Result doResizeLabel(ElkLabel label, double targetWidth) {
                         return Result.modified(matcher.group(1) + ".");
                     } else {
                         // If no priority available 
+                        label.setProperty(KRenderingOptions.K_RENDERING, null);
                         return Result.modified("");
                     }
                 }