Updated table of contents in the manual