diff --git a/opam/opam b/opam/opam
index 292d092707476bfc4a7ccdb8e5106ec5b50d0ddd..6b2f7a96d217b84a3742fcbe451a942dab88ee53 100644
--- a/opam/opam
+++ b/opam/opam
@@ -139,5 +139,6 @@ depopts: [
 ]
 
 post-messages: [
+  "Ivette finalization: run ivette once with a network connection"
   "Why3 provers setup: rm -f ~/.why3.conf ; why3 config detect"
 ]