diff --git a/arduino-ide-extension/src/browser/theia/monaco/comparers.ts b/arduino-ide-extension/src/browser/theia/monaco/comparers.ts
index a563bd2a..25c893ce 100644
--- a/arduino-ide-extension/src/browser/theia/monaco/comparers.ts
+++ b/arduino-ide-extension/src/browser/theia/monaco/comparers.ts
@@ -353,6 +353,7 @@ export function compareByPrefix(one: string, other: string, lookFor: string): nu
     }
 
     // Same prefix: Sort shorter matches to the top to have those on top that match more precisely
+    // tslint:disable-next-line: one-line
     else if (elementAPrefixMatch && elementBPrefixMatch) {
         if (elementAName.length < elementBName.length) {
             return -1;
diff --git a/arduino-ide-extension/src/common/protocol/boards-service.ts b/arduino-ide-extension/src/common/protocol/boards-service.ts
index b16e6a59..f3c01dd7 100644
--- a/arduino-ide-extension/src/common/protocol/boards-service.ts
+++ b/arduino-ide-extension/src/common/protocol/boards-service.ts
@@ -288,7 +288,8 @@ export namespace Programmer {
     }
 
     export function toString({ id, platform }: Programmer): string {
-        const [vendor,] = platform.split('@');
+        // tslint:disable-next-line: whitespace
+        const [vendor,] = platform.split(':');
         if (!vendor) {
             throw new Error(`Could not extract vendor from platform: '${platform}'.`);
         }