Minor format tweak.