update in the manual. Smaller font, better format of headings.