minor changes to formatting