fixes to formatting