Further tweaks to the README.