diff --git a/package-lock.json b/package-lock.json
index 53027686aa6c1bceb8f33a6bc10ee7c798bc2835..98b9a2c3440eca7e3e430210e25fa19efa11178b 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
 	"name": "b-eventb",
-	"version": "0.0.1",
+	"version": "0.0.2",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {
diff --git a/package.json b/package.json
index ab14955a490fee275f6fb022aacc0576465c9586..4ac8908522491c0dcb76a665481c4dd5c67385fe 100644
--- a/package.json
+++ b/package.json
@@ -1,22 +1,22 @@
 {
-    "name": "b-eventb-language-extension",
-    "displayName": "b-eventb language extension",
-    "description": "compiler support for b and eventb via ProB",
-    "version": "0.0.1",
-    "publisher": "SeeBasTStick",
-    "icon": "prob2-ui.png",
-    "author": "Sebastian Stock",
+	"name": "b-eventb-language-extension",
+	"displayName": "b-eventb language extension",
+	"description": "compiler support for b and eventb via ProB",
+	"version": "0.0.2",
+	"publisher": "SeeBasTStick",
+	"icon": "prob2-ui.png",
+	"author": "Sebastian Stock",
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/SeeBasTStick/b-eventb-language-extension"
 	},
-    "engines": {
-        "vscode": "^1.45.0"
-    },
-    "categories": [
-        "Programming Languages"
-    ],
-    "keywords": [
+	"engines": {
+		"vscode": "^1.45.0"
+	},
+	"categories": [
+		"Programming Languages"
+	],
+	"keywords": [
 		"multi-root ready"
 	],
 	"activationEvents": [
@@ -45,16 +45,15 @@
 					"default": "off",
 					"description": "Traces the communication between VS Code and the language server."
 				},
-				"languageServer.probHome":{
+				"languageServer.probHome": {
 					"scope": "window",
-					"type":"string",
-					"default":"~/prob_prolog/probcli.sh",
+					"type": "string",
+					"default": "~/prob_prolog/probcli.sh",
 					"description": "Path to ProB executable"
 				}
 			}
 		}
 	},
-	
 	"scripts": {
 		"vscode:prepublish": "npm run compile",
 		"compile": "tsc -b",
@@ -78,4 +77,4 @@
 		"stream-to-array": "^2.3.0",
 		"vscode-uri": "^2.1.1"
 	}
-}
\ No newline at end of file
+}