minor edits to formatting