get_comment_reply_link in comment-template shouldn’t it get the post id from the

I’ve been tracking down an issue with comments. In the Atahualpa theme, you can have comments on pages, but it only allows a reply on the first comment.

Digging my way thru the code, I came to function get_comment_reply_link and there are two lines that I wonder about they are right after the ‘extract($args, EXTR_SKIP);’ and are:
$comment = get_comment($comment);
$post = get_post($post);
now it seems to me that the second line should be
$post = get_post($comment->comment_post_ID);
i.e. grab the post from the post pointed to by the comment.

Am I missing something? (p.s. this fixes my issue and allows all page comments to be replied to.