Fix bug with "incremental" searches being added to the search history (i.e. searching for "abc" would add "a", "ab", "abc" to the history!).