Documentation: fix navigation menu
Merge pull request #622 from emmanuel-keller/master

Documentation: fix navigation menu