A little formatting nitpick.