yet another cosmetic change to README.md