Fix silly search highlighting bug.