Style: minor edits