Reply To: Bug in Comment date formatting

I finally found that this line contains a second problem: the_time is the wrong function to derive the date of a comment. This is how the line should really look like:
<span class="c_date"><?php comment_date(); ?></span>