diff --git a/package-lock.json b/package-lock.json
index 8e2e027aea6f6c9d874d8ec1cd4446f5f904f95a..af845a1b07928ec77681f7f2e8b6e4a626ecd491 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
 	"name": "b-language-extension",
-	"version": "1.0.2",
+	"version": "1.0.0",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {
@@ -238,8 +238,8 @@
 			"integrity": "sha1-rqdNXmHB+JlhO/ZL2mbUx48v0X0="
 		},
 		"b-language-server": {
-			"version": "https://github.com/SeeBasTStick/b-language-server/archive/v1.3.2.tar.gz",
-			"integrity": "sha512-mN0stKFWlNZlkqGxDUOqLSv8RrNH70Aju51/8deG0ggVtheTKrmeJKo7jyJUgGWgS1AhIWk4DQn6Jz1nj/1Thw==",
+			"version": "https://github.com/SeeBasTStick/b-language-server/archive/v1.3.3.tar.gz",
+			"integrity": "sha512-mxiTkEGuAH1AJoo3Df0d/827eKN8CKLkOG3BFWP1AaH4qnzRS/N2c1cnxef6T6/8tESmUjzIYIlCIVbSS5ehaQ==",
 			"requires": {
 				"run-script-os": "^1.1.1"
 			}
diff --git a/package.json b/package.json
index 7ffb99d5e641075ab3e55468369c672e90f01834..8e430aa564bfb5bfbfa23fdf2355f864a403032b 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
 	"name": "b-language-extension",
 	"displayName": "B/ProB Language Support",
 	"description": "Compiler and language support for B and via ProB",
-	"version": "1.0.2",
+	"version": "1.0.0",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
 	"author": "Sebastian Stock",