minor tweak to formatting