--- ajax_comments.js	2009-01-14 06:20:31.000000000 +0100
+++ ajax_comments-fixed.js	2009-01-14 06:13:57.000000000 +0100
@@ -414,7 +414,7 @@ function ajax_comments_update_editors()
 }
 
 function ajax_comments_get_cid_from_href(action) {
-  a1 = action.replace('http:// ','');
+  a1 = action.replace('http://','');
   var a2 = a1.split('#');
   var a3 = a2[0].split('?');
   var arg = a3[0].split('/');