README.md: polishing