I've just changed my search provider to DDG using the about:config method. It works fine except: 1. I had to killall browser to make the change apply; 2. The search pop-up still says Google search even though it uses DDG. How do I fix #2?