another tweak to formatting