diff --git a/TODO b/TODO
index e7120f4010c011a99ebb080a332eb3fadc6fdd84..2de58558255998d3bb4ab11645ef9af3bd5f247d 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,9 @@
+* MUSIC should report an error for non-existing app label when connecting ports
+
+* MUSIC should report an error when same app label is reused for different sections
+
+* No default value for stoptime in contsink (possibly others)
+
 * Startup hangs for msgtest3.music example (with unconnected port)
 
 * Check problem with port width and random connections (should we use