diff --git a/README.md b/README.md
index b798c43..d4989da 100644
--- a/README.md
+++ b/README.md
@@ -16,11 +16,11 @@ So far the contributions are:
     - `Categories.Category.Distributive`
     - `Categories.Category.Extensive.Bundle`
     - `Categories.Category.Extensive.Properties.Distributive`
-3. Parametrized (or stable) natural numbers objects [[WIP](https://github.com/agda/agda-categories/pull/394)]
+3. Parametrized (or stable) natural numbers objects [[merged](https://github.com/agda/agda-categories/pull/394)]
     - `Categories.Object.NaturalNumbers.Parametrized`
     - `Categories.Object.NaturalNumbers.Properties.F-Algebra`
     - `Categories.Object.NaturalNumbers.Properties.Parametrized`
-4. Commutative categories [TODO]
+4. Commutative monad [TODO]
 
 ## TODO
 TODOs are found inside the literate agda files!