diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java b/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java
index 8ff3aa4361..c1ef0ec36c 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/utils/printer/Printer.java
@@ -113,7 +113,9 @@ private void appendEvent(Event event){
             if(!(event instanceof Label)) {
                 result.append("   ");
             }
-            result.append(padding, idSb.length(), padding.length());
+            if (idSb.length() < padding.length()) {
+                result.append(padding, idSb.length(), padding.length());
+            }
             result.append(event).append("\n");
         }
     }