diff --git a/git-tutorial.js b/git-tutorial.js
index 1844de6..aa8f254 100644
--- a/git-tutorial.js
+++ b/git-tutorial.js
@@ -938,9 +938,9 @@ function ___functions_to_html(section) {
   var ul = document.createElement('ul');
   var ta = section.getElementsByTagName('textarea');
   for (var j = 0; j < ta.length; j++) {
+    console.log('toCodeMirror:', ta[j], ta[j].getAttribute('id'), section);
     if (___ancestor(ta[j], 'section') == section) {
       var lines = ta[j].value.split('\n');
-      console.log('toCodeMirror:', ta[j]);
       var ret = ___toCodeMirror(ta[j]);
       var editor = ret.editor;
       var editor_id = ret.editor_id;