tuned message;

--- a/src/Pure/PIDE/headless.scala	Sun Sep 29 13:29:10 2019 +0200
+++ b/src/Pure/PIDE/headless.scala	Sun Sep 29 16:44:29 2019 +0200
@@ -302,7 +302,7 @@
           Standard_Thread.delay_first(commit_cleanup_delay max Time.zero) {
             val clean_theories = use_theories_state.change_result(_.clean_theories)
             if (clean_theories.nonEmpty) {
-              progress.echo("Removing " + clean_theories.length)
+              progress.echo("Removing " + clean_theories.length + " theories")
               resources.clean_theories(session, id, clean_theories)
             }
           }