diff --git a/package.json b/package.json
index 729893a..71bd49d 100644
--- a/package.json
+++ b/package.json
@@ -196,7 +196,7 @@
             "type": "string"
           },
           "default": [],
-          "description": "Absolute paths to assemblies to be used as plugins (requires restart and Dafny 3.4.0+).\nExample 1: /user/home/dafnyplugin.dll\nExample 2: /user/home/dafnyplugin.dll,oneArgument\nExample 3: /user/home/dafnyplugin.dll,\"argument with space and \\\" escaped quote\" secondArgument"
+          "description": "(Deprecated, use repeated --plugin:<path> in Language Server Launch Args) Absolute paths to assemblies to be used as plugins (requires restart and Dafny 3.4.0+).\nExample 1: /user/home/dafnyplugin.dll\nExample 2: /user/home/dafnyplugin.dll,oneArgument\nExample 3: /user/home/dafnyplugin.dll,\"argument with space and \\\" escaped quote\" secondArgument"
         },
         "dafny.languageServerLaunchArgs": {
           "type": "array",
diff --git a/src/language/dafnyLanguageClient.ts b/src/language/dafnyLanguageClient.ts
index fbdfe57..dd08ec3 100644
--- a/src/language/dafnyLanguageClient.ts
+++ b/src/language/dafnyLanguageClient.ts
@@ -114,7 +114,7 @@ function getDafnyPluginsArgument(): string[] {
   return (
     plugins
       .filter(plugin => plugin !== null && plugin !== '')
-      .map((plugin, i) => `--plugin:${i}=${plugin}`)
+      .map(plugin => `--plugin:${plugin}`)
   );
 }