Some fixups in the README.