bugfix in history search