Some small edits...