Minor modifications of README.org