Malformed PHP manual URL produced by color module

I got this error from the color chooser:

There is not enough memory available to PHP to change this theme's color scheme. You need at least <em>282.58 KB</em> more. Check the <a href="<em>http://www.php.net/manual/en/ini.core.php#ini.sect.resource-limits</em>">PHP documentation</a> for more information.

The URL is wrapped into em's.
Clearly theme('placeholder') is used where it shouldn't. I think that this bug is caused because '%url' is used instead of '@url' on line 204 in color.module. More info about t() placeholders in 5.0 is at http://drupal.org/node/64279#t-placeholders .