diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 9f4281672f21a4f309b796932e9f2daaad922404..5356fce79f3ed0705bcac0b6f51af4abe62292c9 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -885,18 +885,14 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
 				AFlooredDivExpression aFlooredDivExpression = new AFlooredDivExpression(
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0]),
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[1]));
-
-				setPosition(aFlooredDivExpression, opApplNode);
-				returnNode = aFlooredDivExpression;
+				returnNode = createPositionedNode(aFlooredDivExpression, opApplNode);;
 				break;
 
 			case B_OPCODE_realdiv: // /
 				ADivExpression aDivExpression = new ADivExpression(
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0]),
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[1]));
-
-				setPosition(aDivExpression, opApplNode);
-				returnNode = aDivExpression;
+				returnNode = createPositionedNode(aDivExpression, opApplNode);
 				break;
 
 			case B_OPCODE_dotdot: // ..
@@ -1043,10 +1039,6 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
 		return positionedNode;
 	}
 
-	private void setPosition(PositionedNode positionNode, OpApplNode opApplNode) {
-		createPositionedNode(positionNode, opApplNode);
-	}
-
 	private PExpression visitBuiltInKindExpression(OpApplNode n) {
 		switch (getOpCode(n.getOperator().getName())) {