Various small documentation fixes + style improvements.
Merge pull request #261 from pp-mo/old_doc_changes_1_oks

Changes from PR.212 -- those already ok-ed.