diff --git a/arduino-ide-extension/src/node/board-discovery.ts b/arduino-ide-extension/src/node/board-discovery.ts
index 4f4bf40e..84ac101b 100644
--- a/arduino-ide-extension/src/node/board-discovery.ts
+++ b/arduino-ide-extension/src/node/board-discovery.ts
@@ -219,7 +219,7 @@ export class BoardDiscovery
     } else {
       throw new Error(`Unhandled object type: ${arg}`);
     }
-    return JSON.stringify(object, null, 2); // TODO: remove `space`?
+    return JSON.stringify(object);
   }
 
   async start(): Promise<void> {