Invalid character in template.php file

I've discovered an lunusual issue which is more a potential problem than an immediate one. I have been testing this issue on WinXP (the key factor is the environment in which the files are edited, not where they are run).

The template.php file in the civicspace theme contains on line 255 a non-standard quote character which can cause problems if the file is edited using a editor program using an encoding other than utf-8 (for example, Notepad on Windows, or many other editors on windows if the encoding preference is set to something like "default" or "as is"). Here's how to duplicate the bug:

1. Install Drupal with civicspace theme.
2. Open the themes/civicspace/template.php file using a non-unicode editor (try Notepad on windows).
3. Don't change anything, but save the file.
4. Try to create a new page on your Drupal site.
5. White screen? The node gets saved, but the resulting page you see is a white screen, possibly with this error message: "warning: Cannot modify header information - headers already sent by (output started at C:\Apache2\htdocs\drupal-2005.10.30\themes\civicspace\template.php:1) in C:\Apache2\htdocs\drupal-2005.10.30\includes\common.inc on line 247."

The attached patch replaces this one non-standard quote character with normal ASCII single quotes (').

Although this may appear only to be an issue under very specific circumstances, there are people out there who edit their theme files using such editors, and its a very bewildering error to locate if you don't know what you're looking for. I would recommend fixing it, as this non-standard quotation-mark format doesn't really belong in php code - as far as i know, its use is not defined for use in this context at all, and the results of its presence will be unpredictable.