Minor formatting and documentation changes.