minor tools/README.md changes