minor edits, etc.