Invalid raquo entities in template.php and page.tpl.php

I found that the w3c validator (http://validator.w3.org) was complaining about unterminated raquo entities when I started using this otherwise excellent theme.

So, in template.php and page.tpl.php, there are several places where &raquo appears without the terminating semicolon.

$ grep raquo *.*
template.php:    return implode(' &raquo ', $breadcrumb);
page.tpl.php:                <?php if ($title && $breadcrumb) print " &raquo "; ?>

The result is that the » dividers between breadcrumbs do not show up in some (many?) browsers.

Has anyone else encountered this problem?