Reverted to old numbering system for section headers, to correct for unexpected output in the HTML.