minor fix for nav.
Merge pull request #240 from willum070/docs

minor fix for nav.