top README and piety/README: tweak wording and fix typos