Removed extraneous semicolons from section headings.