Minor tweaks to the README