diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 085b222bc35347d213ed24c8085ee15b01064eb6..beda85311d7a071963d289a71c41ac0b80316e7c 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -62,7 +62,7 @@ sudo apt upgrade
 sudo apt install make m4 gcc opam
 
 <span class="shell-win-comment"># 2. opam setup</span>
-opam init --disable-sandboxing -c 4.07.1 --shell-setup
+opam init --disable-sandboxing --shell-setup
 eval $(opam env)
 opam install -y depext