Another little formatting tweak.