Format changes and some tweeaks to the documentation.