Updated documentation.
Minor fixes and updating literate-style documentation.
Minor fixes and updating literate documentation.