Trivial formatting adjustments.