diff --git a/docs/examples/werkbaum.werkbaum b/docs/examples/werkbaum.werkbaum
index 9c2f23e..6826b82 100644
--- a/docs/examples/werkbaum.werkbaum
+++ b/docs/examples/werkbaum.werkbaum
@@ -40,9 +40,9 @@
         - [^] #ed.deplink.focus: Highlight what a selected node needs and feeds (S)
     - [^] #ed.path: Cheapest path (M)
       - [^] #ed.path.cost: Cost model, missing size counts as M (S)
-      - [x] #ed.path.front: Only the open front: what is done costs nothing (S)  %% see D46
+      - [^] #ed.path.front: Only the open front: what is done costs nothing (S)  %% see D46
       - [^] #ed.path.line: Metro-map line through the leaves (S)
-      - [x] #ed.path.step: Step from station to station, one button (S)  %% see D47
+      - [^] #ed.path.step: Step from station to station, one button (S)  %% see D47
       - [^] #ed.closure: Count the whole dependency closure (M)
         - [^] #ed.closure.once: Shared dependencies counted only once (S)
         - [^] #ed.closure.nonlocal: The cheapest alternative is no longer the local one (M)  %% see D34, D42