diff --git a/README.md b/README.md
index c885a3d10510b9a60d2b18fa5b7118ac503c2acf..770042dc92700f936117d2747f52a6b1a5a20e90 100644
--- a/README.md
+++ b/README.md
@@ -22,6 +22,8 @@ This extension contributes the following settings:
 * `languageServer.strictChecks`: to enable/disable stricter Checks. Make sure to enable/disable for the current workspace too.
 
 
+Please note that user settings overwrite workspace settings.
+
 ## Bugs
 - please open an issue at https://github.com/SeeBasTStick/b-eventb-language-extension
 
diff --git a/server/src/server.ts b/server/src/server.ts
index b3c4e80d182609594da331faf58b0e6534a4d364..da95a955f402ea57a2be86e814ec5bc33ca3d909 100644
--- a/server/src/server.ts
+++ b/server/src/server.ts
@@ -95,7 +95,7 @@ interface Settings {
 
 const defaultSettings: Settings = { 
 	maxNumberOfProblems: 1000, 
-	probHome: "/home/sebastian/prob_prolog/probcli.sh",
+	probHome: "~/prob_prolog/probcli.sh",
 	strictChecks : false,
 	wdChecks : false };
 
@@ -161,7 +161,7 @@ async function validateTextDocument(textDocument: TextDocument): Promise<void> {
 	let diagnosticsPromise : Promise<Set<Diagnostic>>
 
 	console.log(command)
-	if(correctPath(globalSettings.probHome))
+	if(correctPath(settings.probHome))
 	{
 		exec(command, (err:string, stdout:string, stderr:string) => {
 		let bla = new ErrorMatcher()