Cosmetic changes in the README.