Small adjustments on toplevel README file