Minor tweaking of the README.