--- a/src/cm/media/js/client/c_toc.js	Mon Oct 01 10:48:23 2012 +0200
+++ b/src/cm/media/js/client/c_toc.js	Mon Oct 01 11:00:56 2012 +0200
@@ -17,7 +17,7 @@
   if (toBeTOCced.length >= 2) {
     for (var i=0;i<toBeTOCced.length;i++) {
 	  	var tmp = document.createElement('a');
-		  tmp.innerHTML = toBeTOCced[i].innerHTML.replace(/<\/?a[^>]*>/g,'');
+		  tmp.innerHTML = toBeTOCced[i].innerHTML.replace(/<\/?a[^>]*>/ig,'');
   		tmp.className = 'page indent' + toBeTOCced[i].nodeName;
 	  	content.appendChild(tmp);
 		  var headerId = toBeTOCced[i].id || 'link' + i;