Very minor cosmetic changes in README