Refinements to the README