theme_comment uses older version of t()

Per this note about how 5.x handles t(), it looks like theme_comment should use the ! markup for the username instead of %.

Line 1778:

$output .= '<div class="credit">'. t('by %a on %b', array('%a' => theme('username', $comment), '%b' => format_date($comment->timestamp))) ."</div>\n"; 

...should change to:

$output .= '<div class="credit">'. t('by !a on %b', array('!a' => theme('username', $comment), '%b' => format_date($comment->timestamp))) ."</div>\n";