Bad theme call prevents theme override

In address.module, address_checkout_form() the theming for address list is hard-coded, so it can't be overridden using phptemplate_ address_list().

     // theme the options list 
-    $options = theme_address_list($address);
+    $options = theme('address_list', $address);
     $address_format = variable_get('ec_address_display_format', 0);