Small changes to README.org