diff --git a/HOWTO.md b/HOWTO.md
index d53f4f3b..12f70d3d 100644
--- a/HOWTO.md
+++ b/HOWTO.md
@@ -4,12 +4,14 @@
 1. `make test`
 2. update version in `_oasis`
 3. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks)
-4. update `CHANGELOG.md` (see its end to find the right git command)
-5. commit the changes
-6. `git checkout stable;  oasis setup`
-7. `git merge master`
-8. tag, and push both to github
-9. new opam package
+4. check status of modules (`{b status: foo}`) and update if required;
+   removed deprecated functions, etc.
+5. update `CHANGELOG.md` (see its end to find the right git command)
+6. commit the changes
+7. `git checkout stable;  oasis setup`
+8. `git merge master`
+9. tag, and push both to github
+10. new opam package
 
 ## List Authors