Minor tweaks to the README.