Minor cosmetic fixes, mostly for the README.md file