small changes in top-level README.md