Documentation: fix navigation menu