minor changes to formatting, etc