some small edits...