Minor tweaks in the README