I'm running Firefox 29 under Windows 8.1. I had to reinstall Firefox because of other problems, and I reinstalled my add-ons. I wanted to add DuckDuckGo to my search box, so I reinstalled an extension to get it there; the extension made DDG the default search engine in the Search bar, and thus also in the Awesome bar. I reset the Search bar to Bing, but the Awesome bar is "stuck" on DDG and I can't change it. I've checked the config listings, and my default search engine is Bing, so by rights the Awesome bar should use Bing also; it uses DDG instead. How do I change the Awesome bar to use Bing?