diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0935e964..8ae7c0da 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## 2.4.2
+
+- Fix premise selection bug in benchmarks: in `v2.4.1`, a theorem for which the completion was issued was accidentally added to the list of premises. This was fixed in this release.
+We encountered difficulty setting the correct `coq-lsp` path in the settings, both for the `coq-lsp` plugin itself and for `coqpilot`. When using the `nix` environment, it is common for the path to be updated by hand, and it is not always done correctly. Therefore, we added a warning message to the user, which is shown when `coqpilot` suspects that the build of `coq-lsp` on the given path is not the expected one.
+
 ## 2.4.1
 
 Hot fix with update of dependencies to fix the issue on extension activation.
diff --git a/README.md b/README.md
index 68c6672c..5567149b 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# CoqPilot ![Version](https://img.shields.io/badge/version-v2.4.1-blue?style=flat-square)
+# CoqPilot ![Version](https://img.shields.io/badge/version-v2.4.2-blue?style=flat-square)
 
 *Authors:* Andrei Kozyrev, Gleb Solovev, Nikita Khramov, and Anton Podkopaev, [Programming Languages and Tools Lab](https://lp.jetbrains.com/research/plt_lab/) at JetBrains Research.
 
diff --git a/package-lock.json b/package-lock.json
index 3d983e21..2a21ee14 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "coqpilot",
-  "version": "2.4.1",
+  "version": "2.4.2",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "coqpilot",
-      "version": "2.4.1",
+      "version": "2.4.2",
       "dependencies": {
         "@codemirror/autocomplete": "^6.18.3",
         "ajv": "^8.17.1",
diff --git a/package.json b/package.json
index b339c8de..4d35cc40 100644
--- a/package.json
+++ b/package.json
@@ -8,7 +8,7 @@
     "url": "https://github.com/JetBrains-Research/coqpilot"
   },
   "publisher": "JetBrains-Research",
-  "version": "2.4.1",
+  "version": "2.4.2",
   "engines": {
     "vscode": "^1.95.0"
   },