Fix TOC in HTML version of manual.