Fix of the TOC file for documentation.