--- a/plugins/SpecialAdmin.php	Wed May 27 09:46:16 2009 -0400
+++ b/plugins/SpecialAdmin.php	Wed May 27 14:15:15 2009 -0400
@@ -504,6 +504,10 @@
           <?php
               foreach ( $template->named_theme_list as $theme_id => $theme_data )
               {
+                if ( !isset($theme_data['theme_name']) )
+                  // probably a system theme
+                  continue;
+                  
                 $theme_name = htmlspecialchars($theme_data['theme_name']);
                 $selected = ( $theme_id === getConfig('theme_default') ) ? ' selected="selected"' : '';
                 echo "  <option value=\"$theme_id\"$selected>$theme_name</option>\n          ";