Fix issue with highlighting of discovered.