README.md: minor updates