diff --git a/arduino-ide-extension/src/browser/contributions/contribution.ts b/arduino-ide-extension/src/browser/contributions/contribution.ts
index 781b832fc..816f695a9 100644
--- a/arduino-ide-extension/src/browser/contributions/contribution.ts
+++ b/arduino-ide-extension/src/browser/contributions/contribution.ts
@@ -264,6 +264,9 @@ export abstract class CoreServiceContribution extends SketchContribution {
     let message: undefined | string = undefined;
     if (CoreError.is(error)) {
       message = error.message;
+      if (error.code === CoreError.Codes.Verify) {
+        message = message.replace(/[*]/g, '\\*');
+      }
     } else if (error instanceof Error) {
       message = error.message;
     } else if (typeof error === 'string') {