Tweaks in the README