Various tweaks to readme