minor changes, updates to formatting