Another cosmetic change to the README