Avoid leaving trailing whitespace on notifications.

diff --git a/src/runtime/usrint.scm b/src/runtime/usrint.scm
index 2b0a702334d0688ac01346b767f5305b283a2610..3b59d95736a0b79d502ccc8544e7485b71bd3949 100644 (file)
--- a/src/runtime/usrint.scm
+++ b/src/runtime/usrint.scm
@@ -312,7 +312,7 @@ USA.
             (fresh-line port)
             (write-notification-prefix port)
             (message (wrap-notification-port port))
-            (write-string "... " port)
+            (write-string "..." port)
             (set! n (output-port/bytes-written port))
             unspecific))
         (lambda ()
@@ -330,9 +330,9 @@ USA.
                 (begin
                   (fresh-line port)
                   (write-notification-prefix port)
-                  (write-string "... " port)))
+                  (write-string "..." port)))
             (set! n)
-            (write-string (if done? "done" "aborted") port)
+            (write-string (if done? " done" " aborted") port)
             (newline port)))))))
 \f
 (define (wrap-notification-port port)