diff -u civicrm_theme.orig/civicrm_theme.module civicrm_theme/civicrm_theme.module
--- civicrm_theme.orig/civicrm_theme.module	2009-01-13 11:52:04.000000000 -0500
+++ civicrm_theme/civicrm_theme.module	2009-09-04 16:16:48.000000000 -0400
@@ -25,7 +25,7 @@
   return array();
 }
 
-function civicrm_form_alter(&$form, $form_state, $form_id) {
+function civicrm_theme_form_alter(&$form, $form_state, $form_id) {
   if ($form_id == 'system_admin_theme_settings') {
     $newform['civicrm_admin_theme'] = array(
       '#type' => 'select',