This update includes a fix that should prevent users getting the wrong default search engine.