Changed the FDL formatting (with FSF permission) so that the section numbering