diff --git a/html/installations/scandium.md b/html/installations/scandium.md
index 9862db1ca2ac8e117aa71196149d037c850c0819..d87d2de19158d6bc00fd705f2e1fe825317754af 100644
--- a/html/installations/scandium.md
+++ b/html/installations/scandium.md
@@ -91,7 +91,7 @@ Most provers are available on all platforms. After their installation,
 Why3 must be configured to make them available for Frama-C/WP:
 
     ```shell
-    why3 config --detect
+    why3 config --full-config
     ```
 
 ### Known working configuration
@@ -197,7 +197,7 @@ sudo apt install make m4 gcc opam
 Then opam can be set up using these commands:
 
 ```
-opam init --disable-sandboxing -c 4.05.0 --shell-setup
+opam init --disable-sandboxing -c 4.07.1 --shell-setup
 eval $(opam env)
 opam install -y depext
 ```