yes, that is a GUI glitch. The good news is that it actually does switch engines. It is easy to test if you kept the original or at least different home pages for Opera and MicroB.