minore edits