Another cosmetic change in README