diff --git a/src/todo.txt b/src/todo.txt
index b389c34..0e5d4a3 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,4 @@
+- Latex output has {( )} constructs: remove inner brackets.
 - Move initial intruder knowledge maybe into the title of the MSC.
 - Move time things to stderr instead of latex, does not belong in attack
   output.