diff --git a/README.md b/README.md
index 1824e319e6054081067e4252fe53740a808aed98..5189b85547077b464efc513addc388c1c2f4eb0f 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # b-language-extension README
 
-Compiler support for B via ProB. You don´t need your own version of proB, This plugin comes with one packed. You can however provide a proB version by your own, but be cautious; This can lead to unexpected and untested behavior.
+Compiler support for B via ProB. You don´t need your own version of proB, This plugin comes with one packed. You can however provide a proB version on your own, but be cautious; This can lead to unexpected and untested behavior.
 
 
 ## Features
diff --git a/package-lock.json b/package-lock.json
index b3d9aae6ed48683f1fc88386f3140c14eaca10be..f8d8ba1ab8c0c7af1c50bef4ec500533e03c9963 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -44,15 +44,29 @@
 			}
 		},
 		"@eslint/eslintrc": {
-			"version": "0.1.0",
-			"resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-0.1.0.tgz",
-			"integrity": "sha512-bfL5365QSCmH6cPeFT7Ywclj8C7LiF7sO6mUGzZhtAMV7iID1Euq6740u/SRi4C80NOnVz/CEfK8/HO+nCAPJg==",
+			"version": "0.1.3",
+			"resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-0.1.3.tgz",
+			"integrity": "sha512-4YVwPkANLeNtRjMekzux1ci8hIaH5eGKktGqR0d3LWsKNn5B2X/1Z6Trxy7jQXl9EBGE6Yj02O+t09FMeRllaA==",
 			"dev": true,
 			"requires": {
 				"ajv": "^6.12.4",
 				"debug": "^4.1.1",
+				"espree": "^7.3.0",
+				"globals": "^12.1.0",
+				"ignore": "^4.0.6",
 				"import-fresh": "^3.2.1",
+				"js-yaml": "^3.13.1",
+				"lodash": "^4.17.19",
+				"minimatch": "^3.0.4",
 				"strip-json-comments": "^3.1.1"
+			},
+			"dependencies": {
+				"lodash": {
+					"version": "4.17.20",
+					"resolved": "https://registry.npmjs.org/lodash/-/lodash-4.17.20.tgz",
+					"integrity": "sha512-PlhdFcillOINfeV7Ni6oF1TAEayyZBoZ8bcshTHqOYJYlrqzRK5hagpagky5o4HfCzzd1TRkXPMFq6cKk9rGmA==",
+					"dev": true
+				}
 			}
 		},
 		"@types/color-name": {
@@ -89,9 +103,9 @@
 			}
 		},
 		"@types/node": {
-			"version": "14.6.2",
-			"resolved": "https://registry.npmjs.org/@types/node/-/node-14.6.2.tgz",
-			"integrity": "sha512-onlIwbaeqvZyniGPfdw/TEhKIh79pz66L1q06WUQqJLnAb6wbjvOtepLYTGHTqzdXgBYIE3ZdmqHDGsRsbBz7A=="
+			"version": "14.6.4",
+			"resolved": "https://registry.npmjs.org/@types/node/-/node-14.6.4.tgz",
+			"integrity": "sha512-Wk7nG1JSaMfMpoMJDKUsWYugliB2Vy55pdjLpmLixeyMi7HizW2I/9QoxsPCkXl3dO+ZOVqPumKaDUv5zJu2uQ=="
 		},
 		"@types/stream-to-array": {
 			"version": "2.3.0",
@@ -598,13 +612,13 @@
 			"dev": true
 		},
 		"eslint": {
-			"version": "7.8.0",
-			"resolved": "https://registry.npmjs.org/eslint/-/eslint-7.8.0.tgz",
-			"integrity": "sha512-qgtVyLZqKd2ZXWnLQA4NtVbOyH56zivOAdBFWE54RFkSZjokzNrcP4Z0eVWsZ+84ByXv+jL9k/wE1ENYe8xRFw==",
+			"version": "7.8.1",
+			"resolved": "https://registry.npmjs.org/eslint/-/eslint-7.8.1.tgz",
+			"integrity": "sha512-/2rX2pfhyUG0y+A123d0ccXtMm7DV7sH1m3lk9nk2DZ2LReq39FXHueR9xZwshE5MdfSf0xunSaMWRqyIA6M1w==",
 			"dev": true,
 			"requires": {
 				"@babel/code-frame": "^7.0.0",
-				"@eslint/eslintrc": "^0.1.0",
+				"@eslint/eslintrc": "^0.1.3",
 				"ajv": "^6.10.0",
 				"chalk": "^4.0.0",
 				"cross-spawn": "^7.0.2",
@@ -1142,9 +1156,9 @@
 			}
 		},
 		"lodash": {
-			"version": "4.17.15",
-			"resolved": "https://registry.npmjs.org/lodash/-/lodash-4.17.15.tgz",
-			"integrity": "sha512-8xOcRHvCjnocdS5cpwXQXVzmmh5e5+saE2QGoeQmbKmRS6J3VQppPOIt0MnmE+4xlZoumy0GPG0D0MVIQbNA1A==",
+			"version": "4.17.20",
+			"resolved": "https://registry.npmjs.org/lodash/-/lodash-4.17.20.tgz",
+			"integrity": "sha512-PlhdFcillOINfeV7Ni6oF1TAEayyZBoZ8bcshTHqOYJYlrqzRK5hagpagky5o4HfCzzd1TRkXPMFq6cKk9rGmA==",
 			"dev": true
 		},
 		"log-symbols": {
diff --git a/package.json b/package.json
index cdbf53e17502b58a34c0ae8f215f219c20959e1d..121656c51a84c311651ae81f2a561f388ab50aad 100644
--- a/package.json
+++ b/package.json
@@ -146,9 +146,9 @@
 	},
 	"devDependencies": {
 		"@types/mocha": "^7.0.2",
-		"@types/node": "^14.6.2",
+		"@types/node": "^14.6.4",
 		"@typescript-eslint/parser": "^2.34.0",
-		"eslint": "^7.8.0",
+		"eslint": "^7.8.1",
 		"mocha": "^7.2.0",
 		"typescript": "^3.9.7"
 	},