A few refinements of the README.