#17: Cosmetic changes in README.