Minor formatting cleanup.