Fixed the spacing in the table of contents of the user manual.
Authored by: bugman 2008-11-29
Parent: [r8062]
Child: [r8064]
