Wrong navigation header for new docs

The documents just added in !60 (merged) are listed under the wrong group the navigation.