diff --git a/package-lock.json b/package-lock.json
index 08c460c1df566e24c2f261ae502a38cf24dd268f..6da4a92c76cff8a9586a66867875ba42b537a0fa 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
 	"name": "b-language-extension",
-	"version": "0.5.2",
+	"version": "0.5.3",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {
diff --git a/package.json b/package.json
index abb16bcf0ccf149afdf2879061fd567641d5db5c..ed67f0548c913f44844d2fb7e79cd68607432e18 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": "0.5.2",
+	"version": "0.5.3",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
 	"author": "Sebastian Stock",