diff --git a/package.json b/package.json
index 5147398..4e740ba 100644
--- a/package.json
+++ b/package.json
@@ -2,12 +2,12 @@
   "name": "kani-vscode-extension",
   "displayName": "Kani",
   "description": "VSCode IDE integration for Kani",
-  "publisher": "Kani",
+  "publisher": "model-checking",
   "repository": {
     "type": "git",
     "url": "https://github.com/model-checking/kani-vscode-extension"
   },
-  "version": "0.0.2",
+  "version": "0.0.3",
   "engines": {
     "vscode": "^1.70.0"
   },