Happy to say that the Enhanced Media Library has been fixed. Compliments for the quick service. See http://wordpress.org/plugins/enhanced-media-library/