Header Title on pages messed up due to php code error.

The H2 header for this theme contains an error which causes page titles to be too small

if ($title) { print '<h2'. ($tabs ? ' class="pagetitle with-tabs"' : 'pagetitle') .'>'. $title .'</h2>'; }
needs to be changed to
if ($title) { print '<h2'. ($tabs ? ' class="pagetitle with-tabs"' : ' class="pagetitle"') .'>'. $title .'</h2>'; }

the ?: (ternary?) expression causes pagetitle to be appended to the h2, creating a new html flag. This also screws up validation on an otherwise fine page. I'd make a patch but the fix is so simple that one's unnecessary. I'd do it myself if I had access to the code :-)