Small tweaks to the README