Notice error in PHP logs

First, thanks for v2.3 which corrected a lot of issues I encountered (cache pb, wildcard not working...). Only one tiny hitch remains which I was able to correct easily. For each page request, I had a Notice report in my PHP log files concerning a missing index in logo.php line 26. This is due to the fact that a test is made on $_GET['logo'] without an index checking. To correct line 26 of logo.php should be changed from:
$logo = $_GET['logo'] ? $_GET['logo'] : variable_get('logotool_logo', '');
to
$logo = isset($_GET['logo']) ? $_GET['logo'] : variable_get('logotool_logo', '');