a couple of small edits