Various tweaks to README