diff --git a/package-lock.json b/package-lock.json
index 08365ba..0427428 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "rzk-1-experimental-highlighting",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "rzk-1-experimental-highlighting",
-      "version": "0.4.0",
+      "version": "0.4.1",
       "dependencies": {
         "@octokit/rest": "^19.0.13",
         "semver": "^7.5.3",
diff --git a/package.json b/package.json
index 6d01290..77c13f7 100644
--- a/package.json
+++ b/package.json
@@ -3,7 +3,7 @@
   "displayName": "Rzk",
   "description": "Interactive theorem proving support in VS Code for Rzk, a proof assistant for synthetic ∞-categories",
   "icon": "images/icon.png",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "repository": "https://github.com/rzk-lang/vscode-rzk",
   "publisher": "NikolaiKudasovfizruk",
   "main": "./out/extension.js",