Cosmetic tweaks to the README