Removed unnecessary linebreak
Added links to section headers

Also a small cosmetic change to doc-html/