Yet more tweaks to README.