minor edits and format fixes