various tweaks to README