Another tweak to formatting