diff --git a/arduino-ide-extension/src/browser/contributions/contribution.ts b/arduino-ide-extension/src/browser/contributions/contribution.ts
index 781b832fc..e40b5bcc6 100644
--- a/arduino-ide-extension/src/browser/contributions/contribution.ts
+++ b/arduino-ide-extension/src/browser/contributions/contribution.ts
@@ -280,6 +280,7 @@ export abstract class CoreServiceContribution extends SketchContribution {
           'No board selected. Please select your Arduino board from the Tools > Board menu.'
         );
       }
+      message = message.replace(/[*]/g, '\\*');
       const copyAction = nls.localize(
         'arduino/coreContribution/copyError',
         'Copy error messages'