Fix sectioning in manual.