README.md: tweak more minor stuff