diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0f02401..920ce11 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Changelog
 
-## NEXT
+## v1.6.4
 
 Rework symbol table for more accurate definitions.
 
diff --git a/package-lock.json b/package-lock.json
index 0f36541..1a035b9 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "vscode-proverif",
-	"version": "1.6.3",
+	"version": "1.6.4",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "vscode-proverif",
-			"version": "1.6.3",
+			"version": "1.6.4",
 			"hasInstallScript": true,
 			"license": "MIT",
 			"devDependencies": {
diff --git a/package.json b/package.json
index cec7d78..5d06eb6 100644
--- a/package.json
+++ b/package.json
@@ -5,7 +5,7 @@
 	"author": "ProVerif",
 	"icon": "img/icon.png",
 	"license": "MIT",
-	"version": "1.6.3",
+	"version": "1.6.4",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/ProVerif/vscode-proverif-language-service"
diff --git a/server/package-lock.json b/server/package-lock.json
index 44eff62..855059a 100644
--- a/server/package-lock.json
+++ b/server/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "vscode-proverif-server",
-	"version": "1.6.3",
+	"version": "1.6.4",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "vscode-proverif-server",
-			"version": "1.6.3",
+			"version": "1.6.4",
 			"license": "MIT",
 			"dependencies": {
 				"antlr4-c3": "^3.1.1",
diff --git a/server/package.json b/server/package.json
index 9be4703..4d51712 100644
--- a/server/package.json
+++ b/server/package.json
@@ -2,7 +2,7 @@
 	"name": "vscode-proverif-server",
 	"description": "Language support for the ProVerif language - server",
 	"author": "ProVerif",
-	"version": "1.6.3",
+	"version": "1.6.4",
 	"license": "MIT",
 	"engines": {
 		"node": "*"