fix bug in navigation with multiple highlights
Merge pull request #310 from clovis/master

fix bug in navigation with multiple highlights