Fix: navigate down into definition, navigate back => highlighting is gone.