core comments-template.php misfunction?

I am developping a theme and I get some strange characters (‘%1$s at %2$s) when displaying the comments.

I revised the Codex comment-template.php and found this in lines 1368-1370:

1366 <div class="comment-meta commentmetadata"><a href="<?php echo htmlspecialchars( get_comment_link( $comment->comment_ID ) ) ?>">
1367	                        <?php
1368	                                /* translators: 1: date, 2: time */
1369	                                printf( __('%1$s at %2$s'), get_comment_date(),  get_comment_time()) ?></a><?php edit_comment_link(__('(Edit)'),'??','' );
1370	                        ?>

Its seems some htmlspecialchars are not correctly displayed…

I had to delete some code here and leave only:

<?php edit_comment_link(__('(Edit)'),'??','' ); ?>

What I’m doing wrong?

Thanks a lot!

jeanloui