Fixed a bug in the new sidebar search results highlighter