Update minor problems in `README.org`