diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index 4819e832e67595fea0a995ab42cb2698672d8345..79b1edb8351ad63126eee1a0a1c1a8a0bf67afc3 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,5 +1,6 @@
 Version number			Date of release		Notes
 ==============			===============		=====
+26.0 (Iron)                     2022, November 23
 25.0 (Manganese)                2022, June 22
 24.0 (Chromium)                 2021, November 30
 23.1 (Vanadium)                 2021, July 20
diff --git a/opam b/opam
index a42fd9599d6121431d0da2ae7f5a2d636b300133..d9c4596fdf07671446f7a2d9165ff2d89ca9d12a 100644
--- a/opam
+++ b/opam
@@ -69,7 +69,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-26.0-beta-Iron.pdf"
+doc: "http://frama-c.com/download/user-manual-26.0-Iron.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"
diff --git a/releases/26.0.md b/releases/26.0.md
index ec7186383fe1ab101ccade999430e554d3284563..c65fc5169dea606b0ac737a14ae41336c0bc3060 100644
--- a/releases/26.0.md
+++ b/releases/26.0.md
@@ -1,13 +1,13 @@
 The Frama-C build now uses dune. Hopefully, this should have no impact on most
 Frama-C users.
-Maintainers of external plugins must now use dune as well (see the plugin
+Maintainers of external plug-ins must now use dune as well (see the plug-in
 migration section in the developer manual), and the loading of modules and
 scripts has changed (see the frama-c-build-scripts.sh tool to build scripts
 for Frama-C).
 
 # Kernel
 - `calls` ACSL extension for listing potential targets of indirect calls is now
-  supported within kernel, and not only by the WP plugin.
+  supported within kernel, and not only by the WP plug-in.
 
 # Aoraï
 - remove (almost unused) support for LTL and Promela as input language.
@@ -31,6 +31,6 @@ for Frama-C).
 - the installation of Frama-C provides an installation script for Ivette.
   Run 'ivette' once to finalize installation (this requires node 16, yarn and
   an internet connection).
-- improve the dataflow graphs generated by the Dive plugin.
+- improve the dataflow graphs generated by the Dive plug-in.
 - when the taint domain of Eva is enabled, taint status of lvalues is shown
   in the Inspector component and in Dive graphs.
diff --git a/src/plugins/eva/dune b/src/plugins/eva/dune
index c3903d4cfd56a6002613f9df5842f939d73e85c6..a5d888b58b2daa09668cb65780cd70df6033feaf 100644
--- a/src/plugins/eva/dune
+++ b/src/plugins/eva/dune
@@ -28,7 +28,7 @@
    (echo "EVA:" %{lib-available:frama-c-eva.core} "\n")
    (echo "Numerors:" %{lib-available:frama-c-eva.numerors.core} "\n")
    (echo " - MLMPFR:" %{lib-available:mlmpfr} "\n")
-   (echo "Apron domains:" %{lib-available:frama-c-eva.apron} "\n")
+   (echo "Apron domains:" %{lib-available:frama-c-eva.apron.core} "\n")
    (echo " - apron.octMPQ:" %{lib-available:apron.octMPQ} "\n")
    (echo " - apron.boxMPQ:" %{lib-available:apron.boxMPQ} "\n")
    (echo " - apron.polkaMPQ:" %{lib-available:apron.polkaMPQ} "\n")