README.md: some corrections.