README.md: minor update.