#736: Fix bug with 'more search options' being shown all the time