Various refinements to README and minor fixes