diff --git a/opam b/opam
index 584c7fb1ea8fec6ad25e5d903241fe0121edcc15..d787b9837ec633359843474531a5afe2a2c38692 100644
--- a/opam
+++ b/opam
@@ -143,19 +143,18 @@ depopts: [
 ]
 
 post-messages: [
-  "* Frama-C/WP *"
-  "    This plug-in requires at least one external provers."
-  "    Recommended provers are:"
-  "     - Alt-Ergo (https://alt-ergo.ocamlpro.com)"
-  "     - CVC4     (https://cvc4.github.io)"
-  "     - Z3       (https://github.com/Z3Prover/z3)"
-  "    Use 'why3 config detect' to update prover installation."
-  "* Ivette (new Frama-C GUI) *"
-  "    To finalize installation, you shall"
-  "    run 'ivette' once with a network connection."
-  "    Once finalized, 'ivette' will work offline."
-  "    Node v16 and Yarn will be required."
-  "     - install NVM (https://github.com/nvm-sh/nvm)"
-  "     - run 'nvm use 16'"
-  "     - run 'npm install --global yarn'"
+  "****** Frama-C/WP **************************************"
+  "This plug-in requires at least one external provers."
+  "Recommended provers are:"
+  "- Alt-Ergo (https://alt-ergo.ocamlpro.com)"
+  "- CVC4     (https://cvc4.github.io)"
+  "- Z3       (https://github.com/Z3Prover/z3)"
+  "Use 'why3 config detect' to configure new provers."
+  "****** Ivette (new Frama-C GUI) ************************"
+  "Run 'ivette' once (online) to finalize installation."
+  "Once finalized, 'ivette' will work offline."
+  "Finalization also requires Node v16 and Yarn:"
+  "- install NVM (https://github.com/nvm-sh/nvm)"
+  "- run 'nvm use 16'"
+  "- run 'npm install --global yarn'"
 ]