[Plugin: Twenty Ten Header Rotator] Broke on update to WordPress 3.1

After the automatic upgrade from wordpress 3.05 to 3.1, the header doesn not load with the header rotator plugin active.