- README.md: last few minor corrections