corrections to README.md and to specs