diff --git a/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java b/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java
index 36ccaa555f85055cd4404c8efe5566025968d23d..abbe2e88fd15cd393d7ca9b4466620b6f022ea5f 100644
--- a/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java
+++ b/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java
@@ -176,9 +176,9 @@ public abstract class CounterExamplePropositionFigure extends Figure implements
 		final Rectangle targetBounds = target.getBounds();
 		points.addPoint(new Point(sourceBounds.x + size + insets.left,
 				sourceBounds.y + size / 2 + insets.top));
-		points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size
+		points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10
 				+ insets.left, sourceBounds.y + size / 2 + insets.top));
-		points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size
+		points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10
 				+ insets.left, sourceBounds.y - size / 5 + insets.top));
 		points.addPoint(new Point(targetBounds.x + size / 2 + insets.left,
 				targetBounds.y - size / 5 + insets.top));
@@ -215,13 +215,12 @@ public abstract class CounterExamplePropositionFigure extends Figure implements
 		final Rectangle sourceBounds = source.getBounds();
 		points.addPoint(new Point(sourceBounds.x + size + insets.left,
 				sourceBounds.y + size / 2 + insets.top));
-		points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size
+		points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10
 				+ insets.left, sourceBounds.y + size / 2 + insets.top));
-		points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size
+		points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10
 				+ insets.left, sourceBounds.y + insets.top + size / 4));
-		points.addPoint(new Point(sourceBounds.x + size + 3.0 / 10 * size
-				+ insets.left, sourceBounds.y + insets.top
-				+ (int) (3.0 / 4 * size)));
+		points.addPoint(new Point(sourceBounds.x + size + (3 * size) / 10
+				+ insets.left, sourceBounds.y + insets.top + (3 * size) / 4));
 		polyline.setPoints(points);
 
 		return polyline;