--- a/src/cm/media/js/client/c_sync.js	Thu May 10 14:20:10 2012 +0200
+++ b/src/cm/media/js/client/c_sync.js	Fri May 11 12:00:40 2012 +0200
@@ -427,6 +427,7 @@
       {fn:function() {
         gShowingAllComments = atDocumentTop ;     
         gIComments.hide() ; 
+        hideToc();
         var cs = CY.Array.map(commentDbIds, function(id) { return gDb.getComment(id) ; }) ;
         var comments = gDb.getThreads(cs) ;
         gIComments.fetch(comments) ;