Minor formatting and doc changes.