V1.5 Comments RSS problem

I found a solution:
My solution involves adding a new function in wp-includes/comment-functions.php to return the URL of a specific comment. Here is that function:

function get_specific_comment_link()
{
global $comment;
return get_permalink( $comment->comment_post_ID ) . “#comment-” . $comment->comment_ID;
}

Then, in feed-functions.php, change comment_link_rss() function on line 58 to:

function comment_link_rss() {
echo get_specific_comment_link();
}

Thanks ColdForged