Fix table of contents in manual.