Some editing of our documentation.
Some minor refactoring to respect our coding style.