diff --git a/notebooks/tests/animate.ipynb b/notebooks/tests/animate.ipynb
index 68fef0da1fc1ef0b10f20cb1a89690e5fc595944..15c0a4cca42da0bad896fee6c2cfadf83265566c 100644
--- a/notebooks/tests/animate.ipynb
+++ b/notebooks/tests/animate.ipynb
@@ -281,7 +281,7 @@
     {
      "data": {
       "text/plain": [
-       "Executed operation: $setup_constants()"
+       "Executed operation: SETUP_CONSTANTS()"
       ]
      },
      "execution_count": 11,
@@ -391,7 +391,7 @@
     {
      "data": {
       "text/plain": [
-       "Executed operation: $initialise_machine()"
+       "Executed operation: INITIALISATION()"
       ]
      },
      "execution_count": 16,
@@ -734,7 +734,7 @@
     {
      "data": {
       "text/plain": [
-       "Executed operation: $setup_constants()"
+       "Executed operation: SETUP_CONSTANTS()"
       ]
      },
      "execution_count": 31,
@@ -754,7 +754,7 @@
     {
      "data": {
       "text/plain": [
-       "Executed operation: $initialise_machine()"
+       "Executed operation: INITIALISATION()"
       ]
      },
      "execution_count": 32,
@@ -906,7 +906,7 @@
     {
      "data": {
       "text/plain": [
-       "Executed operation: $setup_constants()"
+       "Executed operation: SETUP_CONSTANTS()"
       ]
      },
      "execution_count": 38,
@@ -949,7 +949,7 @@
     {
      "data": {
       "text/plain": [
-       "Executed operation: $initialise_machine()"
+       "Executed operation: INITIALISATION()"
       ]
      },
      "execution_count": 40,
diff --git a/src/main/java/de/prob2/jupyter/ProBKernel.java b/src/main/java/de/prob2/jupyter/ProBKernel.java
index 3d3f24a994b979755a9ffb181c1f8242a32f89a4..9f852d19b88374ed76d3c63bd6e9ef602898cf9f 100644
--- a/src/main/java/de/prob2/jupyter/ProBKernel.java
+++ b/src/main/java/de/prob2/jupyter/ProBKernel.java
@@ -319,7 +319,7 @@ public final class ProBKernel extends BaseKernel {
 		
 		this.animationSelector.changeCurrentAnimation(trace.add(op));
 		trace.getStateSpace().evaluateTransitions(Collections.singleton(op), FormulaExpand.TRUNCATE);
-		return new DisplayData(String.format("Executed operation: %s", op.getRep()));
+		return new DisplayData(String.format("Executed operation: %s", op.getPrettyRep()));
 	}
 	
 	@Override