diff --git a/opam b/opam
index 816adfb521400171d3ce556ddb8324f88a607059..d08f2ed480e158c3c4d8311b019f5b3d6783a673 100644
--- a/opam
+++ b/opam
@@ -127,9 +127,9 @@ depends: [
   "conf-time" { with-test }
   "menhir" { >= "20181006" & build }
   "ocaml" { >= "4.11.1" }
+  "ocamlfind" # needed beyond build stage, used by -load-module
   "ocamlgraph" { >= "1.8.8" }
   "odoc" { with-doc }
-  "unionFind" { >= "20220107" }
   "why3" { >= "1.6.0" }
   "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
diff --git a/releases/27.1.md b/releases/27.1.md
index 7c02e8a360357bbe63be5d2dd00dbee11ef1a4c1..ebb9cb30038f6c510c78e9fd0d3ea9ce449e3406 100644
--- a/releases/27.1.md
+++ b/releases/27.1.md
@@ -1,6 +1,6 @@
 # Kernel
 - Fixes a crash and a freeze in the GTK GUI
-- Add a wrapper in `frama-c-script` pour `make_machdep.py`
+- Add a wrapper in `frama-c-script` for `make_machdep.py`
 
 # Ivette
 - Fixes a crash with multiple instances of Ivette
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index ffb6adc03608fee48db598b77fe3a7e3ba00fb84..42f9492db57f334913337cfc8c2bc4bf72d97179 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -40,6 +40,10 @@ Plugin WP <next-release>
 Plugin WP 27.1 (Cobalt)
 ###############################################################################
 
+###############################################################################
+Plugin WP 27.1 (Cobalt)
+###############################################################################
+
 ###############################################################################
 Plugin WP 27.0 (Cobalt)
 ###############################################################################