--- modules/comment/comment.module.old	2010-11-17 23:42:15.171867917 +0100
+++ modules/comment/comment.module	2010-11-17 23:43:32.232868537 +0100
@@ -1810,7 +1810,6 @@ function theme_comment_post_forbidden($n
       }
       else {
         // Only admins can add new users, no public registration.
-        return t('<a href="@login">Login</a> to post comments', array('@login' => url('user/login', array('query' => $destination))));
       }
     }
   }