Minor formatting changes and remarks.