Fix documentation navigation and some typos.