bugfix in search highlighting