diff --git a/opam b/opam
index 876ded55eef1ffd2e4dd86917fd8cfc411438daf..1c29e632b31b386ad30d765ebff74dc9630647a5 100644
--- a/opam
+++ b/opam
@@ -150,7 +150,7 @@ Recommended provers are:
 Use 'why3 config detect' to configure new provers.
  "
 "Ivette is a new GUI for Frama-C, currently in development.
-Run 'ivette' once (online) to finalize installation.
+Run 'ivette' once to finalize installation (requires an internet connection).
 Once finalized, 'ivette' will work offline.
 Finalization also requires Node v16 and Yarn:
 - install NVM (https://github.com/nvm-sh/nvm)