#minor edits