diff --git a/ivette/src/frama-c/eva/layout.ts b/ivette/src/frama-c/eva/layout.ts
index 931ed11b4bc9f126819b02f051ec50d798f8f0f6..e3a95b2dcb3baceefba4dbfe47740ca4041febcc 100644
--- a/ivette/src/frama-c/eva/layout.ts
+++ b/ivette/src/frama-c/eva/layout.ts
@@ -23,6 +23,7 @@ export interface Row {
 /* --- Layout Enfine                                                      ---*/
 /* --------------------------------------------------------------------------*/
 
+const PADDING = 2;
 const HCROP = 18;
 const VCROP = 1;
 
@@ -66,6 +67,7 @@ export class LayoutEngine {
     p.maxCols = Math.max(p.minCols, probeSize.cols);
     if (s.cols + this.rowSize.cols > this.margin) this.flush();
     this.rowSize = addH(this.rowSize, s);
+    this.rowSize.cols += PADDING;
     this.buffer.push(p);
   }