Navigator: fix error with the search term, which ended up doubly quoted.