fix bug in navigation with multiple highlights