A few more small edits