diff --git a/src/language/dafnyLanguageClient.ts b/src/language/dafnyLanguageClient.ts
index fbdfe57..7eded34 100644
--- a/src/language/dafnyLanguageClient.ts
+++ b/src/language/dafnyLanguageClient.ts
@@ -96,7 +96,7 @@ function getMarkGhostStatementsArgument(): string {
 
 function getDafnyPluginsArgumentOld(): string[] {
   const plugins = Configuration.get<string[]>(ConfigurationConstants.LanguageServer.DafnyPlugins);
-  if(plugins === null || !Array.isArray(plugins)) {
+  if (plugins === null || !Array.isArray(plugins)) {
     return [];
   }
   return (
@@ -108,13 +108,13 @@ function getDafnyPluginsArgumentOld(): string[] {
 
 function getDafnyPluginsArgument(): string[] {
   const plugins = Configuration.get<string[]>(ConfigurationConstants.LanguageServer.DafnyPlugins);
-  if(plugins === null || !Array.isArray(plugins)) {
+  if (plugins === null || !Array.isArray(plugins)) {
     return [];
   }
   return (
     plugins
       .filter(plugin => plugin !== null && plugin !== '')
-      .map((plugin, i) => `--plugin:${i}=${plugin}`)
+      .map(plugin => `--plugin:${plugin}`)
   );
 }