minor edits for style