diff --git a/notebooks/tests/trace.ipynb b/notebooks/tests/trace.ipynb
index 11f303594509723d88d430274e5f11f3b183dc50..152964417a4450171ae66b85eab641640e85cb33 100644
--- a/notebooks/tests/trace.ipynb
+++ b/notebooks/tests/trace.ipynb
@@ -124,7 +124,7 @@
      "data": {
       "text/markdown": [
        "* -1: Root state\n",
-       "* 0: $initialise_machine **(current)**"
+       "* 0: `$initialise_machine` **(current)**"
       ],
       "text/plain": [
        "-1: Root state\n",
@@ -169,7 +169,7 @@
      "data": {
       "text/markdown": [
        "* -1: Root state **(current)**\n",
-       "* 0: $initialise_machine"
+       "* 0: `$initialise_machine`"
       ],
       "text/plain": [
        "-1: Root state (current)\n",
diff --git a/src/main/java/de/prob2/jupyter/commands/TraceCommand.java b/src/main/java/de/prob2/jupyter/commands/TraceCommand.java
index 53dcea7a4c6bafc7637135e8bcf876245a1c5098..b56e7ecbe1f92b16fc6e512e9c75932df9d63f40 100644
--- a/src/main/java/de/prob2/jupyter/commands/TraceCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/TraceCommand.java
@@ -65,8 +65,9 @@ public final class TraceCommand implements Command {
 			sbPlain.append(transition);
 			sbMarkdown.append("\n* ");
 			sbMarkdown.append(i);
-			sbMarkdown.append(": ");
+			sbMarkdown.append(": `");
 			sbMarkdown.append(transition);
+			sbMarkdown.append('`');
 			
 			if (trace.getCurrent().getIndex() == i) {
 				sbPlain.append(" (current)");