typo in wp-trackback.php?

I’ve noticed these lines in the wp-trackback.php file:

if (empty($title) && empty($tb_url) && empty($blog_name)) {
// If it doesn't look like a trackback at all...
wp_redirect(get_permalink($tb_id));
exit;
}
if ( !empty($tb_url) && !empty($title) && !empty($tb_url) ) {
header('Content-Type: text/xml; charset=' . get_option('blog_charset') );

I am wondering why !empty($tb_url) would be tested for twice. Should that line be:

if ( !empty($tb_url) && !empty($title) && !empty($blog_name) ) {