Various tweaks to the README