Minor formatting cleanup

Follow-up to e5fb0b6