diff --git a/README.md b/README.md
index ae6d42cd2a12c506ee8104c533c2ab562141c5dc..2fd8d7906e5024824cbf0218eddea0268770abe5 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 on 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.
 
 In order to change prob_cli versions you need to make the change in the settings and restart the extension (open and close vscode).
 
@@ -37,7 +37,6 @@ The language server can be found here https://github.com/SeeBasTStick/b-language
 - Definition provider
 
 
-
 ## Release Notes
 
 ### 2.0.0