diff --git a/client/package.json b/client/package.json
index 8280b957d..b9dcd7790 100644
--- a/client/package.json
+++ b/client/package.json
@@ -4,7 +4,7 @@
   "description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
   "publisher": "maximedenes",
   "license": "MIT",
-  "version": "2.0.2",
+  "version": "2.0.3",
   "repository": {
     "type": "git",
     "url": "https://github.com/coq-community/vscoq.git"
diff --git a/client/src/utilities/versioning.ts b/client/src/utilities/versioning.ts
index 44ae09fec..aaee970eb 100644
--- a/client/src/utilities/versioning.ts
+++ b/client/src/utilities/versioning.ts
@@ -12,7 +12,7 @@ export const checkVersion = (client: Client, context: ExtensionContext) => {
             const {name, version} = serverInfo;
             Client.writeToVscoq2Channel("[Versioning] Intialized server " + name + " [" + version + "]");
             if(!checkCompat(extensionVersion, version)) {
-                window.showErrorMessage('This version of VsCoq requires version ' + versionRequirements[extensionVersion] + ' of ' + name + '. Found version: ' + version);
+                window.showErrorMessage('This version of VsCoq requires version ' + versionRequirements[extensionVersion] + ' of ' + name + '. Found version: ' + version + '. Please upgrade the language server.');
             }
         } else {
             Client.writeToVscoq2Channel("Could not run compatibility tests: failed to get serverInfo");
@@ -31,7 +31,8 @@ type VersionReq = {
 const versionRequirements : VersionReq = {
     '2.0.0': '2.0.0', 
     '2.0.1': '2.0.0', 
-    '2.0.2': '2.0.0'
+    '2.0.2': '2.0.0', 
+    '2.0.3': '2.0.3'
 };
 
 //We will add version ranges as we start releasing
diff --git a/flake.nix b/flake.nix
index 718575334..c65aa36b6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -31,7 +31,7 @@
       ocamlPackages.buildDunePackage {
         duneVersion = "3";
         pname = "vscoq-language-server";
-        version = "2.0.2";
+        version = "2.0.3";
         src = ./language-server;
         buildInputs = [
           coq
diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
index 75a29eea1..3cf1685a7 100644
--- a/language-server/vscoqtop/lspManager.ml
+++ b/language-server/vscoqtop/lspManager.ml
@@ -44,7 +44,7 @@ let conf_request_id = max_int
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vscoq-language-server"
-  ~version:"2.0.2"
+  ~version:"2.0.3"
   ()
 
 type lsp_event =