a few small edits