fixed a little thing in highlighting aligned searches