minor fixes to formatting