Minor tweak to formatting