a few tiny edits