Trying to uninstall faceted search...

All worked except uninstalling the ui (doesn't matter whether I try this before or after uninstalling the main faceted search):

Fatal error: Call to undefined function faceted_search_get_env_ids() in /home/thisuser/public_html/thiswebsite/sites/all/modules/faceted_search/faceted_search_ui.module on line 42