(slightly simplify README)