WebDevStudios/taxonomy-switcher — pull request #2 by aolin480 (2014-06-19 18:27:39+00:00)
Title: Plugin was redirecting to wrong page after a successful taxonomy switch....

... Changed the page to the tools.php page instead of the options-general.php, which was giving an error.