minor edits (style)