Bug with logos on efficient theme and Publisher theme

Hi.

There is a bug in the code for both themes. There is no code in page.tpl and also in page-front.tpl to change the logo using the theme settings.

In the Efficient theme (version 1.3) there is no IF to hide the logo and it shows only with the CSS, so it is impossible to change it without editing CSS and uploading a new image.

In the publisher the code is this:

<a class="logo" href="<?php print base_path(); ?>" title="<?php print $site_name ?>"> <!-- logo -->
<img alt="<?php print $site_name ?>" src="<?php print base_path() . path_to_theme()?>/images/logo.jpg"/>
</a>

And it must have something like that: 

 <?php if ($logo) { ?> 

Before it to hide the logo.

Also the src must be:  

src="<?php print $logo ?>"

And the alt text:  

alt="<?php print t('Home') ?>"

Tell me when you fix it, please. I do need that basic feature.