Index: wp-content/themes/twentyten/header.php
===================================================================
--- wp-content/themes/twentyten/header.php (revision 15480)
+++ wp-content/themes/twentyten/header.php (working copy)
@@ -73,8 +73,8 @@
$image[1] >= HEADER_IMAGE_WIDTH ) :
// Houston, we have a new header image!
echo get_the_post_thumbnail( $post->ID, 'post-thumbnail' );
- else : ?>
-
+ elseif ( $maybe_header_image = get_header_image() ) : ?>
+