Fix table of content in documentation.