Minor modifications in the README.