Minor modifications of the README.