diff --git a/src/Data/Tree/tree_observer.cpp b/src/Data/Tree/tree_observer.cpp
index 3d4d991b47..aab97ba97c 100644
--- a/src/Data/Tree/tree_observer.cpp
+++ b/src/Data/Tree/tree_observer.cpp
@@ -483,7 +483,6 @@ apply (tree& ref, modification mod) {
   if (busy_modifying) raw_apply (ref, mod);
   else if (is_busy) {
     if (ip_attached (ip) && !busy_path (p)) {
-      // cout << "Postpone " << (reverse (ip) * mod) << "\n";
       busy_paths= busy_paths * p;
       upcoming  = upcoming * (reverse (ip) * mod);
     }
@@ -495,9 +494,9 @@ apply (tree& ref, modification mod) {
       busy_paths= list<path> (p);
       upcoming  = list<modification> (reverse (ip) * mod);
       while (!is_nil (upcoming)) {
-        // cout << "Handle " << upcoming->item << "\n";
+        cout << "Handle " << upcoming->item << "\n";
         raw_apply (the_et, upcoming->item);
-        // cout << "Done " << upcoming->item << "\n";
+        cout << "Done " << upcoming->item << "\n";
         upcoming= upcoming->next;
       }
       busy_paths= list<path> ();
diff --git a/src/Edit/Interface/edit_keyboard.cpp b/src/Edit/Interface/edit_keyboard.cpp
index c313019a20..16ecb54e20 100644
--- a/src/Edit/Interface/edit_keyboard.cpp
+++ b/src/Edit/Interface/edit_keyboard.cpp
@@ -278,7 +278,9 @@ edit_interface_rep::key_press (string gkey) {
       pre_edit_mark= new_marker ();
       mark_start (pre_edit_mark);
       archive_state ();
+      bench_start ("pre_edit");
       insert_tree (compound ("pre-edit", s), path (0, pos));
+      bench_end ("pre_edit");
       return;
     }
   }
diff --git a/src/Edit/Modify/edit_text.cpp b/src/Edit/Modify/edit_text.cpp
index 3ee073d09d..6f7286edb3 100644
--- a/src/Edit/Modify/edit_text.cpp
+++ b/src/Edit/Modify/edit_text.cpp
@@ -236,7 +236,11 @@ edit_text_rep::insert_tree (tree t, path p_in_t) {
     go_to (correct_cursor (et, p * p_in_t));
   }
   else {
+    bench_start ("branch");
+    bench_start ("prepare_for_insert");
     path p= prepare_for_insert ();
+    bench_end ("prepare_for_insert");
+    bench_start ("insert");
     if (!is_concat (t)) {
       t     = tree (CONCAT, t);
       p_in_t= path (0, p_in_t);
@@ -244,7 +248,11 @@ edit_text_rep::insert_tree (tree t, path p_in_t) {
     insert (p, t);
     path q= path_add (p, p_in_t->item) * p_in_t->next;
     go_to (correct_cursor (et, q));
+    bench_end ("insert");
+    bench_start ("correct_concat");
     correct_concat (path_up (p));
+    bench_end ("correct_concat");
+    bench_end ("branch");
   }
 }
 
diff --git a/src/Plugins/Qt/qt_gui.cpp b/src/Plugins/Qt/qt_gui.cpp
index 5efd7dbd59..72b7a2b046 100644
--- a/src/Plugins/Qt/qt_gui.cpp
+++ b/src/Plugins/Qt/qt_gui.cpp
@@ -882,8 +882,14 @@ qt_gui_rep::force_update () {
 
 void
 qt_gui_rep::need_update () {
-  if (updating) needing_update= true;
-  else updatetimer->start (0);
+  if (updating) {
+    needing_update= true;
+    cout << "need updating" << LF;
+  }
+  else {
+    cout << "need update: start now" << LF;
+    updatetimer->start (0);
+  }
   // 0 ms - call immediately when all other events have been processed
 }