diff --git a/Cargo.lock b/Cargo.lock
index e9b8d8a..a60a91c 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -242,7 +242,7 @@ checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
 
 [[package]]
 name = "caesar"
-version = "2.1.0"
+version = "2.1.1"
 dependencies = [
  "ariadne",
  "built",
diff --git a/Cargo.toml b/Cargo.toml
index 488c556..ca6706e 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,7 +7,7 @@ members = [
 
 [package]
 name = "caesar"
-version = "2.1.0"
+version = "2.1.1"
 authors = ["Philipp Schroer <phisch@cs.rwth-aachen.de>"]
 description = "Caesar is a deductive verifier for probabilistic programs."
 homepage = "https://www.caesarverifier.org/"
diff --git a/vscode-ext/package.json b/vscode-ext/package.json
index 1e78ef1..b0271c0 100644
--- a/vscode-ext/package.json
+++ b/vscode-ext/package.json
@@ -3,7 +3,7 @@
   "displayName": "Caesar Verifier",
   "description": "The quantitative deductive verifier Caesar for VSCode",
   "publisher": "rwth-moves",
-  "version": "2.1.0",
+  "version": "2.1.1",
   "repository": {
     "type": "git",
     "url": "https://github.com/moves-rwth/caesar.git",
diff --git a/vscode-ext/src/CaesarClient.ts b/vscode-ext/src/CaesarClient.ts
index 02ea01b..190ed03 100644
--- a/vscode-ext/src/CaesarClient.ts
+++ b/vscode-ext/src/CaesarClient.ts
@@ -230,7 +230,7 @@ export class CaesarClient {
                         serverExecutable = pathRes;
                     }
                 }
-                args.push('--language-server');
+                args.push('lsp');
             }
                 break;
             case ConfigurationConstants.userBinaryOption:
@@ -242,7 +242,7 @@ export class CaesarClient {
                     });
                     throw new Error("Installation path is not set");
                 }
-                args.push('--language-server');
+                args.push('lsp');
                 break;
             case ConfigurationConstants.sourceCodeOption:
                 serverDirectory = ServerConfig.get(ConfigurationConstants.sourcePath);
@@ -262,7 +262,7 @@ export class CaesarClient {
                     throw new Error("Cargo.toml file is not found in the path");
                 }
                 serverExecutable = "cargo";
-                args.push('run', '--', '--language-server');
+                args.push('run', '--', 'lsp');
                 break;
             default:
                 this.logger.error("Client: unknown installation choice config setting", installationChoice);