a couple of tiny edits.