piety/README.md, revise