diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 8f2ce4d..60b3b40 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -2,7 +2,7 @@
     * [Proposal for Libre-Chip's First CPU Architecture](first_arch/index.md)
         * [Register Renaming](first_arch/register_renaming.md)
     * [Grants](grants/index.md)
-        * [First NLNet Grant Proposal](grants/nlnet-first.md)
+        * [First NLNet Grant Proposal -- 2024-12-324](grants/nlnet-first.md)
 * [Conduct](Conduct.md)
 * [License](LICENSE.md)
     * [GPL 3.0](gpl-3.0.md)
diff --git a/src/grants/nlnet-first.md b/src/grants/nlnet-first.md
index cacfb59..556604a 100644
--- a/src/grants/nlnet-first.md
+++ b/src/grants/nlnet-first.md
@@ -1,4 +1,4 @@
-# First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs
+# First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs -- 2024-12-324
 
 Project Name: Libre-Chip's First CPU Architecture And Formal Proof of No Spectre bugs
 
@@ -21,8 +21,6 @@ design and formal verification. Presented the talk "An introduction to
 Formal Verification of Digital Circuits" on FOSDEM 2024
 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/>).
 
-* Others... TODO
-
 # Requested support
 
 Requested Amount &euro;50000