PHP short tag in templates.php

there’s a problem if short PHP tags are not allowed by the webserver. the file /wp-admin/templates.php contains two occurrences of short PHP tags (<? instead of <?php).
it’s trivial to fix, so i hope to see the patch incorporated soon!
by the way: i love wordpress, and v2.0 is better than ever! keep up the excellent work!

patch to fix the problem:

--- wp-admin/templates.php.old 2005-12-30 00:42:26.000000000 +0000
+++ wp-admin/templates.php 2005-12-30 00:42:26.000000000 +0000
@@ -86,9 +86,9 @@
<?php if (isset($_GET['a'])) : ?>
<?php if ( 'err' == $_GET['a'] ) : ?>
<div id="message" class="error"><p><?php _e('Could not save file.') ?></p></div>
- <? else: ?>
+ <?php else: ?>
<div id="message" class="updated fade"><p><?php _e('File edited successfully.') ?></p></div>
- <?endif; ?>
+ <?php endif; ?>
<?php endif; ?>
<div class="wrap">
<?php