Another formatting tweak.