Minor formatting nits.