Minor restyling, added information on test coverage.