A few readability edits