diff --git a/5_theseus/3_results.typ b/5_theseus/3_results.typ
index c43b6fe..d312335 100644
--- a/5_theseus/3_results.typ
+++ b/5_theseus/3_results.typ
@@ -1,6 +1,7 @@
 #import "../lib.typ": todo
 
-== Results #todo[better section name] <sec:th-res>
+== Result <sec:th-res>
+#todo[better section name for @sec:th-res]
 
 === Bytecode Loaded by Application <sec:th-code-collected>
 
diff --git a/5_theseus/main.typ b/5_theseus/main.typ
index c2d7bea..8125c9d 100644
--- a/5_theseus/main.typ
+++ b/5_theseus/main.typ
@@ -1,6 +1,8 @@
 #import "../lib.typ": todo
 
-= #todo[theseus chapter title]
+= Theseus <sec:th>
+
+#todo[theseus chapter title for @sec:th]
 
 #include("1_static_transformation.typ")
 #include("3_results.typ")