diff --git a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
index 63874c5d76..5f0912e69d 100644
--- a/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
+++ b/src/org/rascalmpl/repl/TerminalProgressBarMonitor.java
@@ -531,9 +531,7 @@ public synchronized int jobEnd(String name, boolean succeeded) {
 
         if (pb != null && --pb.nesting == -1) {
             eraseBars();
-            // write it one last time into the scrollback buffer (on top)
             pb.done();
-            pb.write();
             bars.remove(pb);
             // print the left over bars under this one.
             printBars();